Checked_runner.S
include Run_extras
module Types : Types.Types
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
val set_constraint_logger :
( ?at_label_boundary:([ `Start | `End ] * string) -> constr -> unit ) ->
unit
type run_state = field Run_state.t
type state = run_state
val run : ( 'a, field ) Types.Checked.t -> run_state -> run_state * 'a
module State : sig ... end