Module type Checked_runner.S

include Run_extras
type field
type cvar
val get_value : field Run_state.t -> cvar -> field
val run_as_prover : ( 'a, field ) Types.As_prover.t option -> field Run_state.t -> field Run_state.t * 'a option
type constr
type r1cs
val set_constraint_logger : ( ?at_label_boundary:([ `Start | `End ] * string) -> constr -> unit ) -> unit
val clear_constraint_logger : unit -> unit
type run_state = field Run_state.t
type state = run_state
type ('a, 't) run = 't -> run_state -> run_state * 'a
val run : ( 'a, field ) Types.Checked.t -> run_state -> run_state * 'a
module State : sig ... end