SharedFunctors.Make_Poly1305_generic
module C : SharedDefs.Buffer
module Impl : sig ... end
type bytes = C.t
module Noalloc : sig ... end
val mac : key:bytes -> msg:bytes -> bytes