Parameter Make_HMAC.1-Impl
val hash_alg : SharedDefs.HashDefs.algval mac : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> Unsigned.uint32 -> SharedDefs.CBytes.buf -> Unsigned.uint32 -> unit
Make_HMAC.1-Implval hash_alg : SharedDefs.HashDefs.algval mac : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> Unsigned.uint32 -> SharedDefs.CBytes.buf -> Unsigned.uint32 -> unit