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. | BLAKE2b
  6. | BLAKE2s
  7. | Legacy of deprecated_alg
val alg_definition : alg -> Unsigned.UInt8.t
val digest_len : alg -> int
val check_digest_len : alg -> int -> unit