# Generated by tools/translator: qualified upstream name -> MoonBit name.
ASM_FOL_TAC asm_fol_tac
ASSOC_CONV assoc_conv
CNF_CONV cnf_conv
CONDS_CELIM_CONV conds_celim_conv
CONDS_ELIM_CONV conds_elim_conv
CONJ_ACI_RULE conj_aci_rule
CONJ_CANON_CONV conj_canon_conv
DISJ_ACI_RULE disj_aci_rule
DISJ_CANON_CONV disj_canon_conv
DNF_CONV dnf_conv
GEN_NNF_CONV gen_nnf_conv
LAMBDA_ELIM_CONV lambda_elim_conv
NNFC_CONV nnfc_conv
NNF_CONV nnf_conv
PRENEX_CONV prenex_conv
PRESIMP_CONV presimp_conv
PROP_ATOM_CONV prop_atom_conv
SELECT_ELIM_TAC select_elim_tac
SKOLEM_CONV skolem_conv
WEAK_CNF_CONV weak_cnf_conv
WEAK_DNF_CONV weak_dnf_conv
