Constraint (snarky.Snarky_backendless.Checked_runner.Make

type t = ( Cvar.t, Field.t ) Constraint.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

type 'k with_constraint_args = ?label:string -> 'k

val boolean : ( Cvar.t -> t ) with_constraint_args

val equal : ( Cvar.t -> Cvar.t -> t ) with_constraint_args

val r1cs : ( Cvar.t -> Cvar.t -> Cvar.t -> t ) with_constraint_args

val square : ( Cvar.t -> Cvar.t -> t ) with_constraint_args

val annotation : t -> string

val eval : 
  ( Cvar.t, Field.t ) Constraint.basic_with_annotation ->
  ( Cvar.t -> Field.t ) ->
  bool