S (pickles.Pickles.Step_main

type t = Permutation.Field.t Sponge.t

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

val absorb : t -> Permutation.Field.t -> unit

val squeeze : t -> Permutation.Field.t

val copy : t -> t

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

val make : 
  state:Permutation.Field.t Sponge.State.t ->
  params:Permutation.Field.t Sponge.Params.t ->
  sponge_state:Sponge.sponge_state ->
  t