package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Library
Module
Module type
Parameter
Class
Class type
type deprecated_alg =
  1. | SHA1
  2. | MD5
  • deprecated
type alg =
  1. | SHA2_224
  2. | SHA2_256
  3. | SHA2_384
  4. | SHA2_512
  5. | 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