# Generated by tools/translator: qualified upstream name -> MoonBit name.
BDD_0 bdd_0
BDD_1 bdd_1
BDD_AND bdd_and_v1
BDD_DEFTAUT bdd_deftaut
BDD_EXISTS bdd_exists
BDD_EXPAND bdd_expand_v1
BDD_FALSE bdd_false
BDD_IFF bdd_iff
BDD_IMP bdd_imp
BDD_LOOKUP bdd_lookup
BDD_NEG bdd_neg
BDD_OF_TERM bdd_of_term
BDD_OR bdd_or
BDD_TAUT bdd_taut
BDD_TRUE bdd_true
BDD_VAR bdd_var
bdd_and bdd_and
bdd_expand bdd_expand
bdd_stats bdd_stats
btm_of_int btm_of_int
lookup_triple lookup_triple
mk_ctable mk_ctable
mk_utable mk_utable
mk_vtable mk_vtable
num_of_var num_of_var
tfst tfst
tsnd tsnd
var_of_num var_of_num
