fact: Definition bool_fun_of_BDD (cfg : BDDconfig) (node : ad) := bool_fun_of_BDD_1 cfg node (S (nat_of_N (var cfg node))).
imports: Bool Sumbool Arith ZArith NArith Nnat Ndec Ndigits IntMap(Allmaps) Wf_nat BDDvar_ad_nat bdd1