type bytes
= Hacl_star.SharedDefs.CBytes.t
val mac : key:bytes -> msg:bytes -> bytes
mac key msg
computes the MAC of msg
using key key
.
module Noalloc : sig ... end
Version of this function which writes its output in a buffer passed in as an argument