Snark_intf.Runner
Utility functions for calling single checked computations.
type state
val run : 'a Checked.t -> state -> state * 'a