Run_and_check_deferred (pickles.Pickles.Impls.Step.Impl.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