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