# Generated by tools/translator: qualified upstream name -> MoonBit name.
REAL_ABS_NEG real_abs_neg
REAL_ABS_NUM real_abs_num
REAL_ADD_AC real_add_ac
REAL_ADD_RID real_add_rid
REAL_ADD_RINV real_add_rinv
REAL_EQ_ADD_LCANCEL real_eq_add_lcancel
REAL_EQ_ADD_RCANCEL real_eq_add_rcancel
REAL_INT_ABS_CONV real_int_abs_conv
REAL_INT_ADD_CONV real_int_add_conv
REAL_INT_COMPUTE_CONV real_int_compute_conv
REAL_INT_EQ_CONV real_int_eq_conv
REAL_INT_GE_CONV real_int_ge_conv
REAL_INT_GT_CONV real_int_gt_conv
REAL_INT_LE_CONV real_int_le_conv
REAL_INT_LT_CONV real_int_lt_conv
REAL_INT_MUL_CONV real_int_mul_conv
REAL_INT_NEG_CONV real_int_neg_conv
REAL_INT_POW_CONV real_int_pow_conv
REAL_INT_REDUCE_CONV real_int_reduce_conv
REAL_INT_RED_CONV real_int_red_conv
REAL_INT_SUB_CONV real_int_sub_conv
REAL_LE_LNEG real_le_lneg
REAL_LE_NEG2 real_le_neg2
REAL_LE_RNEG real_le_rneg
REAL_MUL_LNEG real_mul_lneg
REAL_MUL_LZERO real_mul_lzero
REAL_MUL_RNEG real_mul_rneg
REAL_MUL_RZERO real_mul_rzero
REAL_NEG_0 real_neg_0
REAL_NEG_ADD real_neg_add
REAL_NEG_NEG real_neg_neg
REAL_OF_NUM_POW real_of_num_pow
REAL_POW_NEG real_pow_neg
dest_realintconst dest_realintconst
is_ratconst is_ratconst
is_realintconst is_realintconst
mk_realintconst mk_realintconst
rat_of_term rat_of_term
real_int_compute_add_convs real_int_compute_add_convs
real_int_red_conv_list real_int_red_conv_list
term_of_rat term_of_rat
