Module Apron.Tcons0

module Tcons0: sig .. end

type t = {
   mutable texpr0 :Apron.Texpr0.t;
   mutable typ :Apron.Lincons0.typ;
}
type typ = Apron.Lincons0.typ = 
| EQ
| SUPEQ
| SUP
| DISEQ
| EQMOD of Apron.Scalar.t
val make : Apron.Texpr0.t -> typ -> t
Make a tree expression constraint. Modifying later the tree expression expression modifies correspondingly the tree expression constraint and conversely
val copy : t -> t
Copy a tree expression constraint (deep copy)
val string_of_typ : typ -> string
Convert a constraint type to a string (=,>=, or >)
val print : (Apron.Dim.t -> string) -> Format.formatter -> t -> unit
Print a constraint