Constraint (snarky_field_extensions.Snarky_field_extensions.Field

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