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