Keyed (p.digestif.1.1.2.doc.digestif.c.Digestif.Make

type t = outer

val key_size : int

val maci_bytes : key:string -> ((Native.st -> unit) -> 'a) -> t

val maci_string : key:string -> ((string -> unit) -> 'a) -> string

val maci_bigstring : 
  key:string ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  string

val mac_bytes : key:string -> ?off:int -> ?len:int -> Native.st -> t

val mac_string : key:string -> ?off:int -> ?len:int -> string -> string

val mac_bigstring : 
  key:string ->
  ?off:int ->
  ?len:int ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  string

val macv_bytes : key:string -> Native.st list -> t

val macv_string : key:string -> string list -> string

val macv_bigstring : 
  key:string ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t list ->
  string