Module Digestif_hashSource

Sourcetype 'kind hash =
  1. | MD5 : [ `MD5 ] hash
  2. | SHA1 : [ `SHA1 ] hash
  3. | RMD160 : [ `RMD160 ] hash
  4. | SHA224 : [ `SHA224 ] hash
  5. | SHA256 : [ `SHA256 ] hash
  6. | SHA384 : [ `SHA384 ] hash
  7. | SHA512 : [ `SHA512 ] hash
  8. | BLAKE2B : int -> [ `BLAKE2B ] hash
  9. | BLAKE2S : int -> [ `BLAKE2S ] hash
Sourceand kind = [
  1. | `MD5
  2. | `SHA1
  3. | `RMD160
  4. | `SHA224
  5. | `SHA256
  6. | `SHA384
  7. | `SHA512
  8. | `BLAKE2B
  9. | `BLAKE2S
]
Sourceval md5 : [ `MD5 ] hash
Sourceval sha1 : [ `SHA1 ] hash
Sourceval rmd160 : [ `RMD160 ] hash
Sourceval sha224 : [ `SHA224 ] hash
Sourceval sha256 : [ `SHA256 ] hash
Sourceval sha384 : [ `SHA384 ] hash
Sourceval sha512 : [ `SHA512 ] hash
Sourceval blake2b : int -> [ `BLAKE2B ] hash
Sourceval blake2s : int -> [ `BLAKE2S ] hash