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