Module Hacl_star.SharedFunctors

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
type all_hash_alg =
  1. | Agile of SharedDefs.HashDefs.alg
  2. | SHA3_224
  3. | SHA3_256
  4. | SHA3_384
  5. | SHA3_512
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