Sponge.Make_sponge
module P : Intf.Permutation
include Intf.Sponge with module State := State and module Field := P.Field and type digest := P.Field.t and type input := P.Field.t and type t = P.Field.t t
type t = P.Field.t t
val create : ?init:P.Field.t State.t -> P.Field.t Params.t -> t
val absorb : t -> P.Field.t -> unit
val squeeze : t -> P.Field.t
val copy : t -> t
val state : t -> P.Field.t State.t
val make : state:P.Field.t State.t -> params:P.Field.t Params.t -> sponge_state:sponge_state -> t