# Generated by tools/translator: qualified upstream name -> MoonBit name.
Mapping.fol_of_atom fol_of_atom
Mapping.fol_of_const fol_of_const
Mapping.fol_of_form fol_of_form
Mapping.fol_of_hol_clauses fol_of_hol_clauses
Mapping.fol_of_literal fol_of_literal
Mapping.fol_of_term fol_of_term
Mapping.fol_of_var fol_of_var
Mapping.hol_of_atom hol_of_atom
Mapping.hol_of_const hol_of_const
Mapping.hol_of_literal hol_of_literal
Mapping.hol_of_term hol_of_term
Mapping.hol_of_var hol_of_var
Mapping.reset_consts reset_consts
Mapping.reset_vars reset_vars
Utils.% op_percent
Utils.%> op_percent_gt
Utils.>>= op_gt_gt_eq
Utils.List.concat_map concat_map
Utils.List.cons cons
Utils.List.exists_unique exists_unique
Utils.List.filter_map filter_map
Utils.List.findi findi
Utils.List.fold_left_map fold_left_map
Utils.List.fold_map fold_map
Utils.List.fold_right1 fold_right1
Utils.List.fold_right_map fold_right_map
Utils.List.fsum fsum
Utils.List.insert_at insert_at
Utils.List.last last
Utils.List.list_rest list_rest
Utils.List.nth_rest nth_rest
Utils.List.take take
Utils.List.take_drop take_drop
Utils.List.union1 union1
Utils.List.union2 union2
Utils.Pair.mapn mapn
Utils.const const_
copverb copverb
