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

type t = outer

val key_size : int

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

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

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

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

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

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

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

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

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