# Generated by tools/translator: qualified upstream name -> MoonBit name.
ADMISSIBLE_BASE admissible_base
ADMISSIBLE_COMB admissible_comb
ADMISSIBLE_COND admissible_cond
ADMISSIBLE_CONST admissible_const
ADMISSIBLE_GUARDED_PATTERN admissible_guarded_pattern
ADMISSIBLE_IMP_SUPERADMISSIBLE admissible_imp_superadmissible
ADMISSIBLE_LAMBDA admissible_lambda
ADMISSIBLE_MAP admissible_map
ADMISSIBLE_MATCH admissible_match
ADMISSIBLE_MATCH_SEQPATTERN admissible_match_seqpattern
ADMISSIBLE_NEST admissible_nest
ADMISSIBLE_NSUM admissible_nsum
ADMISSIBLE_RAND admissible_rand
ADMISSIBLE_SEQPATTERN admissible_seqpattern
ADMISSIBLE_SUM admissible_sum
ADMISSIBLE_UNGUARDED_PATTERN admissible_unguarded_pattern
CASEWISE casewise
CASEWISE_CASES casewise_cases
CASEWISE_DEF casewise_def
CASEWISE_WORKS casewise_works
MATCH_SEQPATTERN match_seqpattern
RECURSION_CASEWISE recursion_casewise
RECURSION_CASEWISE_PAIRWISE recursion_casewise_pairwise
RECURSION_SUPERADMISSIBLE recursion_superadmissible
SUPERADMISSIBLE_COND superadmissible_cond
SUPERADMISSIBLE_CONST superadmissible_const
SUPERADMISSIBLE_MATCH_GUARDED_PATTERN superadmissible_match_guarded_pattern
SUPERADMISSIBLE_MATCH_SEQPATTERN superadmissible_match_seqpattern
SUPERADMISSIBLE_MATCH_UNGUARDED_PATTERN superadmissible_match_unguarded_pattern
SUPERADMISSIBLE_T superadmissible_t
SUPERADMISSIBLE_TAIL superadmissible_tail
WF_REC_CASES wf_rec_cases
WF_REC_CASES' wf_rec_cases_p
WF_REC_TAIL_GENERAL' wf_rec_tail_general_p
admissible admissible
define define
instantiate_casewise_recursion instantiate_casewise_recursion
prove_general_recursive_function_exists prove_general_recursive_function_exists
pure_prove_recursive_function_exists pure_prove_recursive_function_exists
superadmissible superadmissible
tailadmissible tailadmissible
