Intf.Sponge
module Field : T
module State : T1
type input
type digest
type t
val create : ?init:Field.t State.t -> Field.t Params.t -> t
val absorb : t -> input -> unit
val squeeze : t -> digest
val copy : t -> t
val state : t -> Field.t State.t