Module `Pickles.Sponge_inputs`

module Make
  (Impl : Snarky_backendless.Snark_intf.Run)
  (B : sig ... end) : 
  Sponge.Intf.Permutation with module Field = Impl.Field