sig
  type t = {
    mutable linexpr0 : Apron.Linexpr0.t;
    mutable typ : Apron.Lincons0.typ;
  }
  and typ = EQ | SUPEQ | SUP | DISEQ | EQMOD of Apron.Scalar.t
  val make : Apron.Linexpr0.t -> Apron.Lincons0.typ -> Apron.Lincons0.t
  val copy : Apron.Lincons0.t -> Apron.Lincons0.t
  val string_of_typ : Apron.Lincons0.typ -> string
  val print :
    (Apron.Dim.t -> string) -> Format.formatter -> Apron.Lincons0.t -> unit
end