Module `SharedDefs.HashDefs`

type deprecated_alg = | SHA1 | MD5
type alg = | SHA2_224 | SHA2_256 | SHA2_384 | SHA2_512 | BLAKE2b | BLAKE2s | Legacy of deprecated_alg

val alg_definition : alg -> Unsigned.UInt8.t
val digest_len : alg -> int
val check_digest_len : alg -> int -> unit
val max_input_len : alg -> Z.t
val check_max_input_len : alg -> int -> unit
val block_len : alg -> int
val check_key_len : alg -> int -> unit