Test (sponge.Sponge.Make_debug_sponge.P.Circuit.Internal

val checked_to_unchecked : 
  ('vin, 'valin) Typ.t ->
  ('vout, 'valout) Typ.t ->
  ('vin -> 'vout Checked.t) ->
  'valin ->
  'valout

val test_equal : 
  ?sexp_of_t:('valout -> Core_kernel.Sexp.t) ->
  ?equal:('valout -> 'valout -> bool) ->
  ('vin, 'valin) Typ.t ->
  ('vout, 'valout) Typ.t ->
  ('vin -> 'vout Checked.t) ->
  ('valin -> 'valout) ->
  'valin ->
  unit