void _deletebddpair(value v) { bddPair* x = BDDPAIR_val(v); bdd_freepair(x); }
void mlbdd_pair_finalize(value pairset) { bdd_freepair(PairSet_val(pairset)); }
void _deletebddpair(value v) { bddPair* x = BDDPAIR_val(v); bdd_freepair(x); }
void mlbdd_pair_finalize(value pairset) { bdd_freepair(PairSet_val(pairset)); }