# Generated by tools/translator: qualified upstream name -> MoonBit name.
ALL all
ALL2 all2
ALL2_ALL all2_all
ALL2_AND_RIGHT all2_and_right
ALL2_DEF all2_def
ALL2_MAP all2_map
ALL2_MAP2 all2_map2
ALLPAIRS allpairs
ALLPAIRS_EQ allpairs_eq
ALLPAIRS_MAP allpairs_map
ALLPAIRS_MEM allpairs_mem
ALLPAIRS_SYM allpairs_sym
ALL_APPEND all_append
ALL_EL all_el
ALL_EQ all_eq
ALL_FILTER all_filter
ALL_IMP all_imp
ALL_MAP all_map
ALL_MEM all_mem
ALL_MP all_mp
ALL_T all_t
AND_ALL and_all
AND_ALL2 and_all2
APPEND append
APPEND_ASSOC append_assoc
APPEND_BUTLAST_LAST append_butlast_last
APPEND_EQ_NIL append_eq_nil
APPEND_LCANCEL append_lcancel
APPEND_NIL append_nil
APPEND_RCANCEL append_rcancel
APPEND_SING append_sing
ASSOC assoc
BUTLAST butlast
BUTLAST_APPEND butlast_append
BUTLAST_CLAUSES butlast_clauses
CHAR_EQ_CONV char_eq_conv
CONS_11 cons_11
CONS_HD_TL cons_hd_tl
EL el
EL_APPEND el_append
EL_CONS el_cons
EL_CONV el_conv
EL_LIST_OF_SEQ el_list_of_seq
EL_MAP el_map
EL_MAP2 el_map2
EL_TL el_tl
EX ex
EXISTS_EX exists_ex
EX_IMP ex_imp
EX_MAP ex_map
EX_MEM ex_mem
FILTER filter
FILTER_APPEND filter_append
FILTER_MAP filter_map
FORALL_ALL forall_all
HD hd
HD_APPEND hd_append
HD_REVERSE hd_reverse
INJECTIVE_MAP injective_map
ITLIST itlist
ITLIST2 itlist2
ITLIST2_DEF itlist2_def
ITLIST_APPEND itlist_append
ITLIST_EXTRA itlist_extra
LAST last
LAST_APPEND last_append
LAST_CLAUSES last_clauses
LAST_EL last_el
LAST_REVERSE last_reverse
LENGTH length
LENGTH_APPEND length_append
LENGTH_CONV length_conv
LENGTH_EQ_CONS length_eq_cons
LENGTH_EQ_LIST_OF_SEQ length_eq_list_of_seq
LENGTH_EQ_NIL length_eq_nil
LENGTH_FILTER length_filter
LENGTH_LIST_OF_SEQ length_list_of_seq
LENGTH_MAP length_map
LENGTH_MAP2 length_map2
LENGTH_REPLICATE length_replicate
LENGTH_REVERSE length_reverse
LENGTH_TL length_tl
LENGTH_ZIP length_zip
LIST_CONV list_conv
LIST_EQ list_eq
LIST_INDUCT_TAC list_induct_tac
LIST_OF_SEQ list_of_seq_v1
LIST_OF_SEQ_CONV list_of_seq_conv
LIST_OF_SEQ_EQ_NIL list_of_seq_eq_nil
LIST_OF_SEQ_EQ_SELF list_of_seq_eq_self
MAP map
MAP2 map2
MAP2_DEF map2_def
MAP_APPEND map_append
MAP_EQ map_eq
MAP_EQ_ALL2 map_eq_all2
MAP_EQ_DEGEN map_eq_degen
MAP_EQ_NIL map_eq_nil
MAP_FST_ZIP map_fst_zip
MAP_I map_i
MAP_ID map_id
MAP_LIST_OF_SEQ map_list_of_seq
MAP_REVERSE map_reverse
MAP_SND_ZIP map_snd_zip
MAP_o map_o
MEM mem
MEM_APPEND mem_append
MEM_APPEND_DECOMPOSE mem_append_decompose
MEM_APPEND_DECOMPOSE_LEFT mem_append_decompose_left
MEM_ASSOC mem_assoc
MEM_EL mem_el
MEM_EXISTS_EL mem_exists_el
MEM_FILTER mem_filter
MEM_MAP mem_map
MEM_REPLICATE mem_replicate
MONO_ALL mono_all
MONO_ALL2 mono_all2
NOT_ALL not_all
NOT_CONS_NIL not_cons_nil
NOT_EX not_ex
NULL null
PAIRWISE pairwise
PAIRWISE_APPEND pairwise_append
PAIRWISE_IMPLIES pairwise_implies
PAIRWISE_MAP pairwise_map
PAIRWISE_TRANSITIVE pairwise_transitive
REPLICATE replicate
REVERSE reverse
REVERSE_APPEND reverse_append
REVERSE_CONV reverse_conv
REVERSE_EQ_EMPTY reverse_eq_empty
REVERSE_REVERSE reverse_reverse
STRING_EQ_CONV string_eq_conv
SURJECTIVE_MAP surjective_map
TL tl
ZIP zip
ZIP_DEF zip_def
char_INDUCT char_induct
char_RECURSION char_recursion
dest_char dest_char
dest_string dest_string
list_CASES list_cases
list_of_seq list_of_seq
mk_char mk_char
mk_cons mk_cons
mk_flist mk_flist
mk_list mk_list
mk_string mk_string
