Make_HashFunction.Impl
val hash_alg : all_hash_alg
val hash : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> Unsigned.uint32 -> unit