Up
–
hacl-star
»
Hacl_star
»
SharedFunctors
»
Make_Poly1305
» Noalloc
Module
Make_Poly1305.Noalloc
val
mac :
key
:bytes
->
msg
:bytes
->
tag
:bytes
->
unit