val mac_bytes : key:string -> ?off:int -> ?len:int -> Bytes.t -> tval mac_string : key:string -> ?off:int -> ?len:int -> String.t -> tval mac_bigstring : key:string -> ?off:int -> ?len:int -> bigstring -> tval macv_bytes : key:string -> Bytes.t list -> tval macv_string : key:string -> String.t list -> tval macv_bigstring : key:string -> bigstring list -> t