Sponge (pickles.Pickles.Step_main

module Permutation : sig ... end

module S : sig ... end

include module type of S

type t = Permutation.Field.t Sponge.t

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

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

val squeeze_field : t -> Permutation.Field.t

Alias for S.squeeze

val absorb : 
  t ->
  [< `Bits of Impls.Step.Boolean.var list | `Field of Permutation.Field.t ] ->
  unit

Extension of S.absorb