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 ] hashval sha1 : [ `SHA1 ] hashval rmd160 : [ `RMD160 ] hashval sha224 : [ `SHA224 ] hashval sha256 : [ `SHA256 ] hashval sha384 : [ `SHA384 ] hashval sha512 : [ `SHA512 ] hashval sha3_224 : [ `SHA3_224 ] hashval sha3_256 : [ `SHA3_256 ] hashval sha3_384 : [ `SHA3_384 ] hashval sha3_512 : [ `SHA3_512 ] hashval whirlpool : [ `WHIRLPOOL ] hashval blake2b : int -> [ `BLAKE2B ] hashval blake2s : int -> [ `BLAKE2S ] hash