Parameter Make_Blake2b_generic.2-Impl
val reqs : AutoConfig2.feature listval blake2b : Unsigned.uint32 -> C.buf -> Unsigned.uint32 -> C.buf -> Unsigned.uint32 -> C.buf -> unit
Make_Blake2b_generic.2-Implval reqs : AutoConfig2.feature listval blake2b : Unsigned.uint32 -> C.buf -> Unsigned.uint32 -> C.buf -> Unsigned.uint32 -> C.buf -> unit