SharedDefs.HashDefstype alg = | SHA2_224| SHA2_256| SHA2_384| SHA2_512| BLAKE2b| BLAKE2s| SHA3_224| SHA3_256| SHA3_384| SHA3_512| Legacy of deprecated_algval alg_definition : alg -> Unsigned.UInt8.tval digest_len : alg -> intval check_digest_len : alg -> int -> unit