# Generated by tools/translator: qualified upstream name -> MoonBit name.
new_recursive_definition new_recursive_definition
prove_recursive_functions_exist prove_recursive_functions_exist
