Checked_runner (snarky.Snarky_backendless.Checked

module Constraint0 = Constraint

val stack_to_string : string list -> string

val eval_constraints : bool Core_kernel.ref

val eval_constraints_ref : bool Core_kernel.ref

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