# Generated by tools/translator: qualified upstream name -> MoonBit name.
Pa.ABBREV_TAC abbrev_tac
Pa.ARITH_RULE arith_rule
Pa.ASM_CASES_TAC asm_cases_tac
Pa.BOOL_CASES_TAC bool_cases_tac
Pa.BOOL_CONTEXT_TAC bool_context_tac
Pa.CONTEXT_RULE context_rule
Pa.CONTEXT_TAC context_tac
Pa.CONTEXT_common context_common
Pa.EXISTS_TAC exists_tac
Pa.GEN gen
Pa.GENL genl
Pa.INT_ARITH int_arith
Pa.NUM_RING num_ring
Pa.PARSES_IN_CONTEXT parses_in_context
Pa.PARSE_IN_CONTEXT parse_in_context
Pa.REAL_ARITH real_arith
Pa.REAL_FIELD real_field
Pa.REAL_RING real_ring
Pa.SPEC spec
Pa.SPECL specl
Pa.SPEC_TAC spec_tac
Pa.SUBGOAL_TAC subgoal_tac
Pa.SUBGOAL_THEN subgoal_then
Pa.X_GEN_TAC x_gen_tac
Pa.call_with_interface call_with_interface
Pa.force_type force_type
Pa.parse_preterm parse_preterm
Pa.type_of_forall type_of_forall
