# Generated by tools/translator: qualified upstream name -> MoonBit name.
BIT0_WORD1 bit0_word1
BITMATCH_ASM_CASES_TAC bitmatch_asm_cases_tac
BITMATCH_CASES_TAC bitmatch_cases_tac
BITMATCH_CONV bitmatch_conv
BITMATCH_ELSEPATTERN bitmatch_elsepattern
BITMATCH_SEQPATTERN bitmatch_seqpattern
BITMATCH_SEQPATTERN2 bitmatch_seqpattern2
BITMATCH_SEQ_CONV bitmatch_seq_conv
BITMATCH_SIMP_CONV bitmatch_simp_conv
BM_CASES bm_cases
BM_FIRST_CASE_CONV bm_first_case_conv
BM_IF_CONV bm_if_conv
CONSPAT conspat
CONSPAT_down_inverts conspat_down_inverts
CONSPAT_pat_set conspat_pat_set
CONSPAT_pat_size conspat_pat_size
CONSPAT_word1_inverts conspat_word1_inverts
CONSPAT_word_inverts conspat_word_inverts
MATCH_ELSEPATTERN match_elsepattern
MATCH_EQ match_eq
MATCH_SEQPATTERN match_seqpattern
NILPAT nilpat
NILPAT_pat_set nilpat_pat_set
NILPAT_pat_size nilpat_pat_size
ONLY_BITMATCH_CASES_THEN only_bitmatch_cases_then
PAT_EXTRACT_THM pat_extract_thm
SPLIT_IF split_if
TRIV_CHOOSE triv_choose
VAL_WORD1 val_word1
WITH_GOAL with_goal
WORD1_ODD word1_odd
_BITMATCH _bitmatch
_ELSEPATTERN _elsepattern
bitpat bitpat
bitpat_down bitpat_down
bitpat_inverts bitpat_inverts
bitpat_inverts_comp bitpat_inverts_comp
bitpat_irrefutable bitpat_irrefutable
bitpat_irrefutable_thm bitpat_irrefutable_thm
bitpat_matches bitpat_matches
bm_add_pos bm_add_pos
bm_analyze_clauses bm_analyze_clauses
bm_analyze_pat bm_analyze_pat
bm_build_pos_tree bm_build_pos_tree
bm_build_tree bm_build_tree
bm_build_tree' bm_build_tree_p
bm_check_disjointness bm_check_disjointness
bm_seq_numeral bm_seq_numeral
bm_skip_clause bm_skip_clause
build_inverts build_inverts
dest_word_ty dest_word_ty
get_dt get_dt
inst_bitpat_numeral inst_bitpat_numeral
map_dt map_dt
pat_extract pat_extract
pat_set pat_set
pat_set_lt pat_set_lt
pat_size pat_size
pat_thm pat_thm
pat_to_bit pat_to_bit
pp_print_bitmatch pp_print_bitmatch
pp_print_bitpat pp_print_bitpat
pp_print_colored_bitmatch pp_print_colored_bitmatch
pp_print_colored_bitpat pp_print_colored_bitpat
preparse_bitmatch preparse_bitmatch
preparse_bitpat preparse_bitpat
print_bitmatch print_bitmatch
print_bitpat print_bitpat
string_of_bitmatch string_of_bitmatch
string_of_bitpat string_of_bitpat
type:discrim_tree DiscrimTree
word1 word1
