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