hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
val check_reqs : AutoConfig2.feature list -> unit
module Make_Chacha20_Poly1305_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_Curve25519_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_EdDSA_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_HashFunction_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_Poly1305_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_HMAC_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_HKDF_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_ECDSA_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_Blake2b_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_Blake2s_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
module Make_Chacha20_Poly1305 (Impl : sig ... end) : sig ... end
module Make_Curve25519 (Impl : sig ... end) : sig ... end
module Make_EdDSA (Impl : sig ... end) : sig ... end
module Make_HashFunction (Impl : sig ... end) : sig ... end
module Make_Poly1305 (Impl : sig ... end) : sig ... end
module Make_HMAC (Impl : sig ... end) : sig ... end
module Make_HKDF (Impl : sig ... end) : sig ... end
module Make_ECDSA (Impl : sig ... end) : sig ... end
module Make_Blake2b (Impl : sig ... end) : sig ... end
module Make_Blake2s (Impl : sig ... end) : sig ... end