hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
module type Buffer = sig ... end
module CBytes : Buffer with type t = Bytes.t and type buf = Bytes.t Ctypes.ocaml
module Hacl_Hash : sig ... end
module Hacl_Spec : sig ... end
val max_size_t : Z.t
module HashDefs : sig ... end
module type Chacha20_Poly1305_generic = sig ... end
module type Curve25519_generic = sig ... end
module type EdDSA_generic = sig ... end
module type HashFunction_generic = sig ... end
module type MAC_generic = sig ... end
module type HKDF_generic = sig ... end
module type ECDSA_generic = sig ... end
module type Blake2_generic = sig ... end
module type Curve25519 = Curve25519_generic with type t = CBytes.t
module type EdDSA = EdDSA_generic with type t = CBytes.t
module type HashFunction = HashFunction_generic with type t = CBytes.t
module type MAC = MAC_generic with type t = CBytes.t
module type HKDF = HKDF_generic with type t = CBytes.t
module type ECDSA = ECDSA_generic with type t = CBytes.t
module type Blake2 = Blake2_generic with type t = CBytes.t