# Generated by tools/translator: qualified upstream name -> MoonBit name.
ASM_REAL_ARITH_TAC asm_real_arith_tac
DECIMAL decimal
GEN_REAL_ARITH gen_real_arith
RAT_LEMMA1 rat_lemma1
RAT_LEMMA2 rat_lemma2
RAT_LEMMA3 rat_lemma3
RAT_LEMMA4 rat_lemma4
RAT_LEMMA5 rat_lemma5
REAL_ARITH real_arith
REAL_ARITH_TAC real_arith_tac
REAL_FIELD real_field
REAL_GROW_SHRINK real_grow_shrink
REAL_IDEAL_CONV real_ideal_conv
REAL_INT_RAT_CONV real_int_rat_conv
REAL_LE_TRANS_LE real_le_trans_le
REAL_LE_TRANS_LT real_le_trans_lt
REAL_LE_TRANS_LTE real_le_trans_lte
REAL_POLY_ADD_CONV real_poly_add_conv
REAL_POLY_CONV real_poly_conv
REAL_POLY_MUL_CONV real_poly_mul_conv
REAL_POLY_NEG_CONV real_poly_neg_conv
REAL_POLY_POW_CONV real_poly_pow_conv
REAL_POLY_SUB_CONV real_poly_sub_conv
REAL_RAT_ABS_CONV real_rat_abs_conv
REAL_RAT_ADD_CONV real_rat_add_conv
REAL_RAT_COMPUTE_CONV real_rat_compute_conv
REAL_RAT_DIV_CONV real_rat_div_conv
REAL_RAT_EQ_CONV real_rat_eq_conv
REAL_RAT_GE_CONV real_rat_ge_conv
REAL_RAT_GT_CONV real_rat_gt_conv
REAL_RAT_INV_CONV real_rat_inv_conv
REAL_RAT_LE_CONV real_rat_le_conv
REAL_RAT_LT_CONV real_rat_lt_conv
REAL_RAT_MAX_CONV real_rat_max_conv
REAL_RAT_MIN_CONV real_rat_min_conv
REAL_RAT_MUL_CONV real_rat_mul_conv
REAL_RAT_NEG_CONV real_rat_neg_conv
REAL_RAT_POW_CONV real_rat_pow_conv
REAL_RAT_REDUCE_CONV real_rat_reduce_conv
REAL_RAT_RED_CONV real_rat_red_conv
REAL_RAT_SGN_CONV real_rat_sgn_conv
REAL_RAT_SUB_CONV real_rat_sub_conv
REAL_RING real_ring
REAL_SHRINK_EQ real_shrink_eq
REAL_SHRINK_GALOIS real_shrink_galois
REAL_SHRINK_GROW real_shrink_grow
REAL_SHRINK_GROW_EQ real_shrink_grow_eq
REAL_SHRINK_LE real_shrink_le
REAL_SHRINK_LT real_shrink_lt
REAL_SHRINK_RANGE real_shrink_range
real_ideal_cofactors real_ideal_cofactors
real_rat_compute_add_convs real_rat_compute_add_convs
real_rat_red_conv_list real_rat_red_conv_list
