# Generated by tools/translator: qualified upstream name -> MoonBit name.
ARITH arith
ARITH_ADD arith_add
ARITH_EQ arith_eq
ARITH_EVEN arith_even
ARITH_EXP arith_exp
ARITH_GE arith_ge
ARITH_GT arith_gt
ARITH_LE arith_le
ARITH_LT arith_lt
ARITH_MULT arith_mult
ARITH_ODD arith_odd
ARITH_PRE arith_pre
ARITH_SUB arith_sub
ARITH_SUC arith_suc
ARITH_ZERO arith_zero
BIT0_0 bit0_0
BIT1_0 bit1_0
DENUMERAL denumeral
EXPAND_CASES_CONV expand_cases_conv
EXP_2_NE_0 exp_2_ne_0
EXP_MOD_CONV exp_mod_conv
NUM_ADD_CONV num_add_conv
NUM_COMPUTE_CONV num_compute_conv
NUM_DIV_CONV num_div_conv
NUM_EQ_CONV num_eq_conv
NUM_EVEN_CONV num_even_conv
NUM_EXP_CONV num_exp_conv
NUM_FACT_CONV num_fact_conv
NUM_GE_CONV num_ge_conv
NUM_GT_CONV num_gt_conv
NUM_LE_CONV num_le_conv
NUM_LT_CONV num_lt_conv
NUM_MAX_CONV num_max_conv
NUM_MIN_CONV num_min_conv
NUM_MOD_CONV num_mod_conv
NUM_MULT_CONV num_mult_conv
NUM_ODD_CONV num_odd_conv
NUM_PRE_CONV num_pre_conv
NUM_REDUCE_CONV num_reduce_conv
NUM_REDUCE_TAC num_reduce_tac
NUM_RED_CONV num_red_conv
NUM_REL_CONV num_rel_conv
NUM_SUB_CONV num_sub_conv
NUM_SUC_CONV num_suc_conv
num_CONV num_conv
num_compute_add_convs num_compute_add_convs
num_red_conv_list num_red_conv_list
