# Generated by tools/translator: qualified upstream name -> MoonBit name.
ASM_MESON_TAC asm_meson_tac
GEN_MESON_TAC gen_meson_tac
MESON meson
MESON_TAC meson_tac
Meson.CONJUNCTS_THEN' conjuncts_then_p
Meson.POLY_ASSUME_TAC poly_assume_tac
Meson.PURE_MESON_TAC pure_meson_tac
Meson.QUANT_BOOL_CONV quant_bool_conv
Meson.SIMPLE_MESON_REFUTE simple_meson_refute
Meson.SPLIT_TAC split_tac
Meson.cacheconts cacheconts
Meson.checkan checkan
Meson.clear_contrapos_cache clear_contrapos_cache
Meson.create_equality_axioms create_equality_axioms
Meson.expand_goal expand_goal
Meson.finish_RULE finish_rule
Meson.fol_atom_eq fol_atom_eq
Meson.fol_eq fol_eq
Meson.fol_free_in fol_free_in
Meson.fol_inst fol_inst
Meson.fol_inst_bump fol_inst_bump
Meson.fol_of_atom fol_of_atom
Meson.fol_of_const fol_of_const
Meson.fol_of_form fol_of_form
Meson.fol_of_hol_clauses fol_of_hol_clauses
Meson.fol_of_literal fol_of_literal
Meson.fol_of_term fol_of_term
Meson.fol_of_var fol_of_var
Meson.fol_subst fol_subst
Meson.fol_subst_bump fol_subst_bump
Meson.fol_subst_partial fol_subst_partial
Meson.fol_unify fol_unify
Meson.hol_of_atom hol_of_atom
Meson.hol_of_const hol_of_const
Meson.hol_of_literal hol_of_literal
Meson.hol_of_term hol_of_term
Meson.hol_of_var hol_of_var
Meson.inferences inferences
Meson.insertan insertan
Meson.istriv istriv
Meson.make_hol_contrapos make_hol_contrapos
Meson.meson_expand meson_expand
Meson.meson_expand_cont meson_expand_cont
Meson.meson_single_expand meson_single_expand
Meson.meson_to_hol meson_to_hol
Meson.mk_negated mk_negated
Meson.offinc offinc
Meson.optimize_rules optimize_rules
Meson.perform_brand_modification perform_brand_modification
Meson.qpartition qpartition
Meson.reset_consts reset_consts
Meson.reset_vars reset_vars
Meson.separate_insts separate_insts
Meson.solve_goal solve_goal
exn:Cut Cut
meson_brand meson_brand
meson_chatty meson_chatty
meson_dcutin meson_dcutin
meson_depth meson_depth
meson_prefine meson_prefine
meson_skew meson_skew
meson_split_limit meson_split_limit
type:fol_atom FolAtom
type:fol_form FolForm
type:fol_goal FolGoal
type:fol_term FolTerm
