Constraint (crypto_params.Crypto_params.Tick.Constraint)

type t = ( Field.Var.t, Field.t ) Snarky_backendless.Constraint.t

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

val boolean : ( Field.Var.t -> t ) with_constraint_args

val equal : ( Field.Var.t -> Field.Var.t -> t ) with_constraint_args

val r1cs : 
  ( Field.Var.t -> Field.Var.t -> Field.Var.t -> t ) with_constraint_args

val square : ( Field.Var.t -> Field.Var.t -> t ) with_constraint_args