sig
  type typ =
    Apron.Tcons1.typ =
      EQ
    | SUPEQ
    | SUP
    | DISEQ
    | EQMOD of Apron.Scalar.t
  type 'a t = Apronexpr.Condition.typ * 'a Apronexpr.expr
  val make :
    ('a, [> Apronexpr.Condition.typ ]) Apronexpr.typ_of_var ->
    Apronexpr.Condition.typ ->
    'a Apronexpr.expr ->
    [ `Bool of bool | `Cond of 'a Apronexpr.Condition.t ]
  val negate :
    ('a, [> Apronexpr.Condition.typ ]) Apronexpr.typ_of_var ->
    'a Apronexpr.Condition.t -> 'a Apronexpr.Condition.t
  val support :
    'a Apronexpr.symbol -> 'a Apronexpr.Condition.t -> 'a PSette.t
  val print :
    'a Apronexpr.symbol ->
    Format.formatter -> 'a Apronexpr.Condition.t -> unit
  val compare :
    'a Apronexpr.symbol ->
    'a Apronexpr.Condition.t -> 'a Apronexpr.Condition.t -> int
  val to_tcons0 :
    'a Apronexpr.symbol ->
    Apron.Environment.t -> 'a Apronexpr.Condition.t -> Apron.Tcons0.t
  val to_tcons1 :
    'a Apronexpr.symbol ->
    Apron.Environment.t -> 'a Apronexpr.Condition.t -> Apron.Tcons1.t
  val to_apron :
    'a Apronexpr.symbol ->
    Apron.Environment.t ->
    'a Apronexpr.Condition.t ->
    [ `Lincons1 of Apron.Lincons1.t | `Tcons1 of Apron.Tcons1.t ]
end