Module Hacl_star.SharedFunctors

val check_reqs : AutoConfig2.feature list -> unit
module Make_Chacha20_Poly1305_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_Curve25519_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_EdDSA_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
type all_hash_alg =
| Agile of SharedDefs.HashDefs.alg
| SHA3_224
| SHA3_256
| SHA3_384
| SHA3_512
module Make_HashFunction_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_Poly1305_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_HMAC_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_HKDF_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_ECDSA_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_Blake2b_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_Blake2s_generic : functor (C : SharedDefs.Buffer) -> functor (Impl : sig ... end) -> sig ... end
module Make_Chacha20_Poly1305 : functor (Impl : sig ... end) -> sig ... end
module Make_Curve25519 : functor (Impl : sig ... end) -> sig ... end
module Make_EdDSA : functor (Impl : sig ... end) -> sig ... end
module Make_HashFunction : functor (Impl : sig ... end) -> sig ... end
module Make_Poly1305 : functor (Impl : sig ... end) -> sig ... end
module Make_HMAC : functor (Impl : sig ... end) -> sig ... end
module Make_HKDF : functor (Impl : sig ... end) -> sig ... end
module Make_ECDSA : functor (Impl : sig ... end) -> sig ... end
module Make_Blake2b : functor (Impl : sig ... end) -> sig ... end
module Make_Blake2s : functor (Impl : sig ... end) -> sig ... end