package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SharedDefs.HashDefsSource

Sourcetype deprecated_alg =
  1. | SHA1
  2. | MD5
  • deprecated
Sourcetype alg =
  1. | SHA2_224
  2. | SHA2_256
  3. | SHA2_384
  4. | SHA2_512
  5. | Legacy of deprecated_alg
Sourceval alg_definition : alg -> Unsigned.UInt8.t
Sourceval digest_len : alg -> int
Sourceval check_digest_len : alg option -> int -> unit
Sourceval max_input_len : int
Sourceval incremental_input_len : alg -> Z.t
Sourceval block_len : alg -> int
Sourceval check_key_len : alg -> int -> unit