Make_debug_sponge.P
include Intf.Permutation
module Field : sig ... end
val add_assign : state:Field.t array -> int -> Field.t -> unit
val copy : Field.t array -> Field.t array
val block_cipher : Field.t Params.t -> Field.t array -> Field.t array
module Circuit : Snarky_backendless.Snark_intf.Run
val sponge_name : string
val debug_helper_fn : Field.t -> string