Make (sponge.Sponge.Bit

Parameters

module Bool : sig ... end

module Field : sig ... end

module Input : Intf.T

module S : 
  Intf.Sponge
    with module State := State
     and module Field := Field
     and type digest := Field.t
     and type input := Input.t

Signature

include Intf.Sponge
  with module State := State
   and module Field := Field
   and type digest := length:int -> Bool.t list
   and type input := Input.t
   and type t = ( S.t, Bool.t ) t

type t = ( S.t, Bool.t ) t

val create : ?init:Field.t State.t -> Field.t Params.t -> t

val absorb : t -> Input.t -> unit

val squeeze : t -> length:int -> Bool.t list

val copy : t -> t

val state : t -> Field.t State.t

val squeeze_field : t -> Field.t