Module Tcons0

module Tcons0: sig .. end

type t = {

	`mutable texpr0 : Texpr0.t;`
	`mutable typ : Lincons0.typ;`

}

APRON tree expressions constraints of level 0

type typ = Lincons0.typ =

`\|`	`EQ`
`\|`	`SUPEQ`
`\|`	`SUP`
`\|`	`DISEQ`
`\|`	`EQMOD of Scalar.t`

val make : 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 : (Dim.t -> string) -> Stdlib.Format.formatter -> t -> unit

Print a constraint