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