Run_and_check_deferred (sponge.Sponge.Make_debug_sponge.P.Circuit.Run_and_check

Parameters

module M : sig ... end

val run_and_check : 
  (unit -> (unit -> 'a) As_prover.t M.t) ->
  'a Core_kernel.Or_error.t M.t

val run_and_check_exn : (unit -> (unit -> 'a) As_prover.t M.t) -> 'a M.t