Module Hacl_star.SharedDefs

module type Buffer = sig ... end

Abstract representation of buffers

module CBytes : Buffer with type t = Stdlib.Bytes.t and type buf = Stdlib.Bytes.t Ctypes.ocaml

Representation of Bytes.t buffers

module Hacl_Hash : sig ... end
module Hacl_Spec : sig ... end
val pow2 : int -> Z.t
module AEADDefs : sig ... end
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 Chacha20_Poly1305 = Chacha20_Poly1305_generic with type bytes = CBytes.t
module type Curve25519 = Curve25519_generic with type bytes = CBytes.t
module type EdDSA = EdDSA_generic with type bytes = CBytes.t
module type HashFunction = HashFunction_generic with type bytes = CBytes.t
module type MAC = MAC_generic with type bytes = CBytes.t
module type HKDF = HKDF_generic with type bytes = CBytes.t
module type ECDSA = ECDSA_generic with type bytes = CBytes.t
module type Blake2 = Blake2_generic with type bytes = CBytes.t