sig
  type 'a typdef = 'Bdd.Env.typdef
  type 'a typ = [ `Benum of '| `Bint of bool * int | `Bool | `Int | `Real ]
  type 'a symbol =
    'Bdd.Env.symbol = {
    compare : '-> '-> int;
    marshal : '-> string;
    unmarshal : string -> 'a;
    mutable print : Format.formatter -> '-> unit;
  }
  type ('a, 'b) ext = {
    mutable table : 'Bddapron.Apronexpr.t Cudd.Mtbdd.table;
    mutable eapron : Apron.Environment.t;
    mutable aext : 'b;
  }
  type ('a, 'b, 'c, 'd) t0 =
      ('a, 'b, 'c, Cudd.Man.v, ('a, 'd) Bddapron.Env.ext) Bdd.Env.t0
  module O :
    sig
      type ('a, 'b, 'c, 'd) t = ('a, 'b, 'c, 'd) Bddapron.Env.t0
        constraint 'b = [> 'Bddapron.Env.typ ]
        constraint 'c = [> 'Bddapron.Env.typdef ]
      val make :
        symbol:'Bddapron.Env.symbol ->
        copy_aext:('-> 'd) ->
        ?bddindex0:int ->
        ?bddsize:int ->
        ?relational:bool ->
        Cudd.Man.vt ->
        '->
        ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
        Bddapron.Env.O.t
      val print :
        (Format.formatter -> ([> 'Bddapron.Env.typ ] as 'b) -> unit) ->
        (Format.formatter -> ([> 'Bddapron.Env.typdef ] as 'c) -> unit) ->
        (Format.formatter -> '-> unit) ->
        Format.formatter -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t -> unit
    end
  type 'a t =
      ('a, 'Bddapron.Env.typ, 'Bddapron.Env.typdef, unit)
      Bddapron.Env.O.t
  val print_typ :
    (Format.formatter -> '-> unit) ->
    Format.formatter -> [> 'a&nbs0;Bddapron.Env.typ ] -> unit
  val print_typdef :
    (Format.formatter -> '-> unit) ->
    Format.formatter -> [> 'Bddapron.Env.typdef ] -> unit
  val print_idcondb :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> Format.formatter -> int * bool -> unit
  val print_order :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> Format.formatter -> unit
  val print :
    Format.formatter ->
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> unit
  val marshal : '-> string
  val unmarshal : string -> 'a
  val make_symbol :
    ?compare:('-> '-> int) ->
    ?marshal:('-> string) ->
    ?unmarshal:(string -> 'a) ->
    (Format.formatter -> '-> unit) -> 'Bddapron.Env.symbol
  val string_symbol : string Bddapron.Env.symbol
  val make :
    symbol:'Bddapron.Env.symbol ->
    ?bddindex0:int ->
    ?bddsize:int -> ?relational:bool -> Cudd.Man.vt -> 'Bddapron.Env.t
  val make_string :
    ?bddindex0:int ->
    ?bddsize:int -> ?relational:bool -> Cudd.Man.vt -> string Bddapron.Env.t
  val copy :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t
  val mem_typ :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> '-> bool
  val mem_var :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> '-> bool
  val mem_label :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> '-> bool
  val typdef_of_typ :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ] as 'b, 'd)
    Bddapron.Env.O.t -> '-> 'b
  val typ_of_var :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> '-> 'b
  val vars :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> 'PSette.t
  val labels :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> 'PSette.t
  val apron :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> Apron.Environment.t
  val add_typ_with :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ] as 'b, 'd)
    Bddapron.Env.O.t -> '-> '-> unit
  val add_vars_with :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> ('a * 'b) list -> int array option
  val remove_vars_with :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> 'a list -> int array option
  val rename_vars_with :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t ->
    ('a * 'a) list -> int array option * Apron.Dim.perm option
  val add_typ :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t -> '-> '-> ('a, 'b, 'c, 'd) Bddapron.Env.O.t
  val add_vars :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t -> ('a * 'b) list -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t
  val remove_vars :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t -> 'a list -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t
  val rename_vars :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t -> ('a * 'a) list -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t
  val is_leq :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t -> bool
  val is_eq :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t -> bool
  val lce :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t ->
    ('a, 'b, 'c, 'd) Bddapron.Env.O.t -> ('a, 'b, 'c, 'd) Bddapron.Env.O.t
  type change = {
    cbdd : Cudd.Man.v Bdd.Env.change;
    capron : Apron.Dim.change2;
  }
  val compute_change :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t ->
    ('a, 'b, 'c, 'd) Bddapron.Env.O.t -> Bddapron.Env.change
  type ('a, 'b) value = ('a, 'b) Bdd.Env.value = { env : 'a; val0 : 'b; }
  val make_value :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t ->
    '-> (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'e) Bddapron.Env.value
  val get_env : ('a, 'b) Bddapron.Env.value -> 'a
  val get_val0 : ('a, 'b) Bddapron.Env.value -> 'b
  val check_var :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> '-> unit
  val check_lvar :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> 'a list -> unit
  val check_value :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'e) Bddapron.Env.value -> unit
  val check_value2 :
    (('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
      'd)
     Bddapron.Env.O.t, 'e)
    Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'f) Bddapron.Env.value -> unit
  val check_value3 :
    (('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
      'd)
     Bddapron.Env.O.t, 'e)
  &n`sp;&ob{p;Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'f) Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'g) Bddapron.Env.value -> unit
  val check_lvarvalue :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t ->
    ('a * (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'e) Bddapron.Env.value) list ->
    ('a * 'e) list
  val check_lvalue :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'e) Bddapron.Env.value list ->
    'e list
  val check_ovalue :
    ('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
     'd)
    Bddapron.Env.O.t ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'e) Bddapron.Env.value option ->
    'e option
  val mapunop :
    ('-> 'f) ->
    (('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
      'd)
     Bddapron.Env.O.t, 'e)
    Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'f) Bddapron.Env.value
  val mapbinop :
    ('-> '-> 'g) ->
    (('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
      'd)
     Bddapron.Env.O.t, 'e)
    Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'f) Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'g) Bddapron.Env.value
  val mapbinope :
    (('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
      'd)
     Bddapron.Env.O.t -> '-> '-> 'g) ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'e) Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'f) Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'g) Bddapron.Env.value
  val mapterop :
    ('-> '-> '-> 'h) ->
    (('a, [> 'Bddapron.Env.typ ] as 'b, [> 'Bddapron.Env.typdef ] as 'c,
      'd)
     Bddapron.Env.O.t, 'e)
    Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'f) Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'g) Bddapron.Env.value ->
    (('a, 'b, 'c, 'd) Bddapron.Env.O.t, 'h) Bddapron.Env.value
  val var_of_aprondim :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> Apron.Dim.t -> 'a
  val aprondim_of_var :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> '-> Apron.Dim.t
  val string_of_aprondim :
    ('a, [> 'Bddapron.Env.typ ], [> 'Bddapron.Env.typdef ], 'd)
    Bddapron.Env.O.t -> Apron.Dim.t -> string
end