Frama-C:
Plug-ins:
Libraries:

Frama-C API - Tcons0

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) -> Stdlib.Format.formatter -> t -> unit