Snarky_backendless.Checked_runner
module Constraint0 = Constraint
module Simple : sig ... end
module Make_checked
(Backend : Backend_extended.S)
(As_prover : As_prover.S with type 'f field := Backend.Field.t) :
sig ... end
module type Run_extras = sig ... end
module Make (Backend : Backend_extended.S) : sig ... end
module type S = sig ... end