package apron

  1. Overview
  2. Docs
type t = {
  1. mutable texpr0 : Texpr0.t;
  2. mutable typ : Lincons0.typ;
}
type typ = Lincons0.typ =
  1. | EQ
  2. | SUPEQ
  3. | SUP
  4. | DISEQ
  5. | EQMOD of Scalar.t
val make : Texpr0.t -> typ -> t
val copy : t -> t
val string_of_typ : typ -> string
val print : (Dim.t -> string) -> Format.formatter -> t -> unit