type 'kind hash =
| MD5 : [ `MD5 ] hash |
| SHA1 : [ `SHA1 ] hash |
| RMD160 : [ `RMD160 ] hash |
| SHA224 : [ `SHA224 ] hash |
| SHA256 : [ `SHA256 ] hash |
| SHA384 : [ `SHA384 ] hash |
| SHA512 : [ `SHA512 ] hash |
| SHA3_224 : [ `SHA3_224 ] hash |
| SHA3_256 : [ `SHA3_256 ] hash |
| SHA3_384 : [ `SHA3_384 ] hash |
| SHA3_512 : [ `SHA3_512 ] hash |
| WHIRLPOOL : [ `WHIRLPOOL ] hash |
| BLAKE2B : int -> [ `BLAKE2B ] hash |
| BLAKE2S : int -> [ `BLAKE2S ] hash |
and kind = [
| `MD5 |
| `SHA1 |
| `RMD160 |
| `SHA224 |
| `SHA256 |
| `SHA384 |
| `SHA512 |
| `SHA3_224 |
| `SHA3_256 |
| `SHA3_384 |
| `SHA3_512 |
| `WHIRLPOOL |
| `BLAKE2B |
| `BLAKE2S |
]
val md5 : [ `MD5 ] hash
val sha1 : [ `SHA1 ] hash
val rmd160 : [ `RMD160 ] hash
val sha224 : [ `SHA224 ] hash
val sha256 : [ `SHA256 ] hash
val sha384 : [ `SHA384 ] hash
val sha512 : [ `SHA512 ] hash
val sha3_224 : [ `SHA3_224 ] hash
val sha3_256 : [ `SHA3_256 ] hash
val sha3_384 : [ `SHA3_384 ] hash
val sha3_512 : [ `SHA3_512 ] hash
val whirlpool : [ `WHIRLPOOL ] hash
val blake2b : int -> [ `BLAKE2B ] hash
val blake2s : int -> [ `BLAKE2S ] hash