type 'kind hash = | MD5 : [ `MD5 ] hash| SHA1 : [ `SHA1 ] hash| RMD160 : [ `RMD160 ] hash| SHA224 : [ `SHA224 ] hash| SHA256 : [ `SHA256 ] hash| SHA384 : [ `SHA384 ] hash| SHA512 : [ `SHA512 ] hash| BLAKE2B : int -> [ `BLAKE2B ] hash| BLAKE2S : int -> [ `BLAKE2S ] hash
and kind = [ | `MD5| `SHA1| `RMD160| `SHA224| `SHA256| `SHA384| `SHA512| `BLAKE2B| `BLAKE2S
]val sha1 : [ `SHA1 ] hashval rmd160 : [ `RMD160 ] hashval sha224 : [ `SHA224 ] hashval sha256 : [ `SHA256 ] hashval sha384 : [ `SHA384 ] hashval sha512 : [ `SHA512 ] hashval blake2b : int -> [ `BLAKE2B ] hashval blake2s : int -> [ `BLAKE2S ] hash