Parameter Make_HashFunction.1-Impl
val hash_alg : all_hash_algval hash : SharedDefs.CBytes.buf -> Unsigned.uint32 -> SharedDefs.CBytes.buf -> unit
Make_HashFunction.1-Implval hash_alg : all_hash_algval hash : SharedDefs.CBytes.buf -> Unsigned.uint32 -> SharedDefs.CBytes.buf -> unit