# Generated by tools/translator: qualified upstream name -> MoonBit name.
CARD_INTSEG_INT card_intseg_int
FINITE_INTSEG finite_intseg
FLOOR floor
FLOOR_DIV_DIV floor_div_div
FLOOR_DOUBLE floor_double
FLOOR_EQ_0 floor_eq_0
FLOOR_FRAC floor_frac
FLOOR_MONO floor_mono
FLOOR_NUM floor_num
FLOOR_POS floor_pos
FLOOR_POS_LE floor_pos_le
FLOOR_UNIQUE floor_unique
FORALL_INTEGER forall_integer
FRAC_DIV_MOD frac_div_mod
FRAC_FLOOR frac_floor
FRAC_NEG frac_neg
FRAC_NUM frac_num
FRAC_UNIQUE frac_unique
HAS_SIZE_INTSEG_INT has_size_intseg_int
HAS_SIZE_INTSEG_NUM has_size_intseg_num
IMAGE_REAL_OF_INT_UNIV image_real_of_int_univ
INFINITE_INTEGER infinite_integer
INFINITE_RATIONAL infinite_rational
INFINITE_RATIONAL_IN_RANGE infinite_rational_in_range
INTEGER_ABS integer_abs
INTEGER_ABS_MUL_EQ_1 integer_abs_mul_eq_1
INTEGER_ADD integer_add
INTEGER_ADD_EQ integer_add_eq
INTEGER_CASES integer_cases
INTEGER_CLOSED integer_closed
INTEGER_DIV integer_div
INTEGER_EXISTS_BETWEEN integer_exists_between
INTEGER_EXISTS_BETWEEN_ABS integer_exists_between_abs
INTEGER_EXISTS_BETWEEN_ABS_LT integer_exists_between_abs_lt
INTEGER_EXISTS_BETWEEN_ALT integer_exists_between_alt
INTEGER_EXISTS_BETWEEN_LT integer_exists_between_lt
INTEGER_MUL integer_mul
INTEGER_NEG integer_neg
INTEGER_POS integer_pos
INTEGER_POW integer_pow
INTEGER_ROUND integer_round
INTEGER_SUB integer_sub
INTEGER_SUB_EQ integer_sub_eq
INTEGER_SUM integer_sum
NONNEGATIVE_INTEGER nonnegative_integer
NONPOSITIVE_INTEGER nonpositive_integer
NONPOSITIVE_INTEGER_ALT nonpositive_integer_alt
PADIC_RATIONAL_APPROXIMATION_STRADDLE padic_rational_approximation_straddle
PADIC_RATIONAL_APPROXIMATION_STRADDLE_POS padic_rational_approximation_straddle_pos
PADIC_RATIONAL_APPROXIMATION_STRADDLE_POS_LE padic_rational_approximation_straddle_pos_le
RATIONAL_ABS rational_abs
RATIONAL_ABS_EQ rational_abs_eq
RATIONAL_ADD rational_add
RATIONAL_ALT rational_alt
RATIONAL_APPROXIMATION rational_approximation
RATIONAL_APPROXIMATION_ABOVE rational_approximation_above
RATIONAL_APPROXIMATION_BELOW rational_approximation_below
RATIONAL_APPROXIMATION_STRADDLE rational_approximation_straddle
RATIONAL_BETWEEN rational_between
RATIONAL_BETWEEN_EQ rational_between_eq
RATIONAL_CLOSED rational_closed
RATIONAL_DIV rational_div
RATIONAL_INTEGER rational_integer
RATIONAL_INV rational_inv
RATIONAL_INV_EQ rational_inv_eq
RATIONAL_MUL rational_mul
RATIONAL_NEG rational_neg
RATIONAL_NEG_EQ rational_neg_eq
RATIONAL_NUM rational_num
RATIONAL_POW rational_pow
RATIONAL_SUB rational_sub
RATIONAL_SUM rational_sum
REAL_ABS_INTEGER_LEMMA real_abs_integer_lemma
REAL_CARD_INTSEG_INT real_card_intseg_int
REAL_CONGRUENCE real_congruence
REAL_EQ_INTEGERS real_eq_integers
REAL_EQ_INTEGERS_IMP real_eq_integers_imp
REAL_FLOOR_ADD real_floor_add
REAL_FLOOR_EQ real_floor_eq
REAL_FLOOR_FLOOR_DIV real_floor_floor_div
REAL_FLOOR_LE real_floor_le
REAL_FLOOR_LT real_floor_lt
REAL_FLOOR_LT_REFL real_floor_lt_refl
REAL_FLOOR_NEG real_floor_neg
REAL_FLOOR_REFL real_floor_refl
REAL_FLOOR_TRIANGLE real_floor_triangle
REAL_FRAC_ADD real_frac_add
REAL_FRAC_EQ real_frac_eq
REAL_FRAC_EQ_0 real_frac_eq_0
REAL_FRAC_POS_LT real_frac_pos_lt
REAL_FRAC_ZERO real_frac_zero
REAL_INTEGER_TAC real_integer_tac
REAL_INT_CONGRUENCE real_int_congruence
REAL_LE_CASES_INTEGERS real_le_cases_integers
REAL_LE_FLOOR real_le_floor
REAL_LE_INTEGERS real_le_integers
REAL_LE_REVERSE_INTEGERS real_le_reverse_integers
REAL_LT_FLOOR real_lt_floor
REAL_LT_INTEGERS real_lt_integers
REAL_OF_INT_OF_REAL real_of_int_of_real
REAL_TRUNCATE real_truncate
REAL_TRUNCATE_POS real_truncate_pos
rational rational
