Constraint (pickles.Pickles.Impls.Step.Constraint)

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

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

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

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

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

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