sig
  type 'a cond = [ `Apron of 'a Bddapron.Apronexpr.Condition.t ]
  val print_cond :
    ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t ->
    Format.formatter -> [< 'a Bddapron.Cond.cond ] -> unit
  val compare_cond :
    'a Bdd.Env.symbol ->
    [< 'a Bddapron.Cond.cond ] -> [< 'a Bddapron.Cond.cond ] -> int
  val negate_cond :
    ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> 'a Bddapron.Cond.cond -> 'a Bddapron.Cond.cond
  val support_cond :
    ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> [< 'a Bddapron.Cond.cond ] -> 'a PSette.t
  module O :
    sig
      type ('a, 'b) t =
          ('a, 'b, 'a Bddapron.Cond.cond, Cudd.Man.v) Bdd.Cond.t
        constraint 'b =
          ('a, [> 'a Bddapron.Env.typ ] as 'c,
           [> 'a Bddapron.Env.typdef ] as 'd, 'e)
          Bddapron.Env.O.t
      val make :
        symbol:'a Bdd.Env.symbol ->
        ?bddindex0:int ->
        ?bddsize:int ->
        Cudd.Man.vt ->
        ('a,
         ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'b)
         Bddapron.Env.O.t)
        Bddapron.Cond.O.t
    end
  type 'a t = ('a, 'a Bddapron.Env.t) Bddapron.Cond.O.t
  val make :
    symbol:'a Bdd.Env.symbol ->
    ?bddindex0:int -> ?bddsize:int -> Cudd.Man.vt -> 'a Bddapron.Cond.t
  val copy : 'a Bddapron.Cond.t -> 'a Bddapron.Cond.t
  val print :
    'a Bddapron.Env.t -> Format.formatter -> 'a Bddapron.Cond.t -> unit
  type ('a, 'b) value = ('a, 'b) Bdd.Cond.value = { cond : 'a; val1 : 'b; }
  val make_value : 'a -> 'b -> ('a, 'b) Bddapron.Cond.value
  val get_cond : ('a, 'b) Bddapron.Cond.value -> 'a
  val get_val1 : ('a, 'b) Bddapron.Cond.value -> 'b
  val get_env : ('a, ('b, 'c) Bddapron.Env.value) Bddapron.Cond.value -> 'b
  val get_val0 : ('a, ('b, 'c) Bddapron.Env.value) Bddapron.Cond.value -> 'c
end