Checked_runner.Run_extras
type field
type cvar
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