package hacl-star

  1. Overview
  2. Docs
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. | BLAKE2b
  6. | BLAKE2s
  7. | Legacy of deprecated_alg
Sourceval alg_definition : alg -> Unsigned.UInt8.t
Sourceval digest_len : alg -> int
Sourceval check_digest_len : alg -> int -> unit
OCaml

Innovation. Community. Security.