Wrap_impl.Constrainttype t = ( Field.t, Field.Constant.t ) Snarky_backendless.Constraint.tval boolean : ( Field.t -> t ) with_constraint_argsval equal : ( Field.t -> Field.t -> t ) with_constraint_argsval r1cs : ( Field.t -> Field.t -> Field.t -> t ) with_constraint_argsval square : ( Field.t -> Field.t -> t ) with_constraint_args