type t = tval mac_bytes : key:Stdlib.Bytes.t -> ?off:int -> ?len:int -> Stdlib.Bytes.t -> tval mac_string : key:Stdlib.String.t -> ?off:int -> ?len:int -> Stdlib.String.t -> tval maci_bytes : key:Stdlib.Bytes.t -> Stdlib.Bytes.t iter -> tval maci_string : key:Stdlib.String.t -> Stdlib.String.t iter -> tval macv_bytes : key:Stdlib.Bytes.t -> Stdlib.Bytes.t list -> tval macv_string : key:Stdlib.String.t -> Stdlib.String.t list -> t