sig
  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 -> Apron.Tcons0.typ -> Apron.Tcons0.t
  val copy : Apron.Tcons0.t -> Apron.Tcons0.t
  val string_of_typ : Apron.Tcons0.typ -> string
  val print :
    (Apron.Dim.t -> string) -> Format.formatter -> Apron.Tcons0.t -> unit
end