Module `Mavryk_crypto.Hacl`

include module type of Mavryk_hacl.Hacl

type secret

type public

module Rand : sig ... end

module Hash : sig ... end

module Blake2b : sig ... end

module Nonce : sig ... end

module Secretbox : sig ... end

module Box : sig ... end

module type SIGNATURE = sig ... end

module Ed25519 : SIGNATURE

module P256 : SIGNATURE