Module S.Constraint

include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
type 'k with_constraint_args = ?label:string -> 'k
val boolean : ( Cvar.t -> t ) with_constraint_args
val equal : ( Cvar.t -> Cvar.t -> t ) with_constraint_args
val r1cs : ( Cvar.t -> Cvar.t -> Cvar.t -> t ) with_constraint_args
val square : ( Cvar.t -> Cvar.t -> t ) with_constraint_args
val annotation : t -> string