val tcons0_array_of_cubecond :
('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
Cudd.Bdd.vt ->
Apron.Tcons0.t arrayval lvar_split :
('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'e) Env.O.t ->
'a list ->
Cudd.Man.v Cudd.Bdd.t * Apron.Dim.t arrayval condition_of_tcons0 :
('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t ->
Apron.Tcons0.t ->
[ `Bool of bool | `Cond of 'a Apronexpr.Condition.t ]val bdd_of_tcons0 :
('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
Apron.Tcons0.t ->
Cudd.Bdd.vtval bdd_of_tcons0_array :
('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
Apron.Tcons0.t array ->
Cudd.Bdd.vt