Constraint (snark_params.Snark_params.Tick.Constraint)

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

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

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

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

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

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