hacl-star

OCaml API for EverCrypt/HACL*
IN THIS PACKAGE
type deprecated_alg =
| SHA1
| MD5
type alg =
| SHA2_224
| SHA2_256
| SHA2_384
| SHA2_512
| Legacy of deprecated_alg
val alg_definition : alg -> Unsigned.UInt8.t
val digest_len : alg -> int
val check_digest_len : alg option -> int -> unit
val max_input_len : Z.t
val check_max_input_len : int -> unit
val incremental_input_len : alg -> Z.t
val block_len : alg -> int
val check_key_len : alg -> int -> unit