# Generated by tools/translator: qualified upstream name -> MoonBit name.
EVEN_SQUARE_MOD4 even_square_mod4
INT_ABS_GCD int_abs_gcd
INT_ABS_LCM int_abs_lcm
INT_BEZOUT_PRIME int_bezout_prime
INT_CHINESE_REMAINDER int_chinese_remainder
INT_CHINESE_REMAINDER_COPRIME int_chinese_remainder_coprime
INT_CHINESE_REMAINDER_COPRIME_UNIQUE int_chinese_remainder_coprime_unique
INT_CHINESE_REMAINDER_USUAL int_chinese_remainder_usual
INT_CONG int_cong
INT_CONG_0_DIVIDES int_cong_0_divides
INT_CONG_1_DIVIDES int_cong_1_divides
INT_CONG_ADD int_cong_add
INT_CONG_ADD_LCANCEL int_cong_add_lcancel
INT_CONG_ADD_LCANCEL_EQ int_cong_add_lcancel_eq
INT_CONG_ADD_LCANCEL_EQ_0 int_cong_add_lcancel_eq_0
INT_CONG_ADD_RCANCEL int_cong_add_rcancel
INT_CONG_ADD_RCANCEL_EQ int_cong_add_rcancel_eq
INT_CONG_ADD_RCANCEL_EQ_0 int_cong_add_rcancel_eq_0
INT_CONG_CHINESE int_cong_chinese
INT_CONG_COPRIME int_cong_coprime
INT_CONG_DIV int_cong_div
INT_CONG_DIVIDES int_cong_divides
INT_CONG_DIV_COPRIME int_cong_div_coprime
INT_CONG_GCD_LEFT int_cong_gcd_left
INT_CONG_GCD_RIGHT int_cong_gcd_right
INT_CONG_IMP_EQ int_cong_imp_eq
INT_CONG_INT_DIVIDES_MODULUS int_cong_int_divides_modulus
INT_CONG_LMUL int_cong_lmul
INT_CONG_MOD_0 int_cong_mod_0
INT_CONG_MOD_1 int_cong_mod_1
INT_CONG_MOD_ABS int_cong_mod_abs
INT_CONG_MUL int_cong_mul
INT_CONG_MULT_LCANCEL_ALL int_cong_mult_lcancel_all
INT_CONG_MUL_1 int_cong_mul_1
INT_CONG_MUL_LCANCEL int_cong_mul_lcancel
INT_CONG_MUL_LCANCEL_EQ int_cong_mul_lcancel_eq
INT_CONG_MUL_RCANCEL int_cong_mul_rcancel
INT_CONG_MUL_RCANCEL_EQ int_cong_mul_rcancel_eq
INT_CONG_POW int_cong_pow
INT_CONG_POW_1 int_cong_pow_1
INT_CONG_REFL int_cong_refl
INT_CONG_RMUL int_cong_rmul
INT_CONG_SOLVE int_cong_solve
INT_CONG_SOLVE_EQ int_cong_solve_eq
INT_CONG_SOLVE_POS int_cong_solve_pos
INT_CONG_SOLVE_UNIQUE int_cong_solve_unique
INT_CONG_SUB int_cong_sub
INT_CONG_SYM int_cong_sym
INT_CONG_TO_1 int_cong_to_1
INT_CONG_TRANS int_cong_trans
INT_COPRIME int_coprime
INT_COPRIME_0 int_coprime_0
INT_COPRIME_1 int_coprime_1
INT_COPRIME_ABS int_coprime_abs
INT_COPRIME_ALT int_coprime_alt
INT_COPRIME_BEZOUT int_coprime_bezout
INT_COPRIME_BEZOUT_ALT int_coprime_bezout_alt
INT_COPRIME_DIVISORS int_coprime_divisors
INT_COPRIME_DIVPROD int_coprime_divprod
INT_COPRIME_GCD int_coprime_gcd
INT_COPRIME_LABS int_coprime_labs
INT_COPRIME_LMUL int_coprime_lmul
INT_COPRIME_LMUL2 int_coprime_lmul2
INT_COPRIME_LNEG int_coprime_lneg
INT_COPRIME_LPOW int_coprime_lpow
INT_COPRIME_LREM int_coprime_lrem
INT_COPRIME_MINUS1 int_coprime_minus1
INT_COPRIME_MUL int_coprime_mul
INT_COPRIME_NEG int_coprime_neg
INT_COPRIME_PLUS1 int_coprime_plus1
INT_COPRIME_POW int_coprime_pow
INT_COPRIME_POW2 int_coprime_pow2
INT_COPRIME_POW_ABS int_coprime_pow_abs
INT_COPRIME_POW_DIVPROD int_coprime_pow_divprod
INT_COPRIME_POW_IMP int_coprime_pow_imp
INT_COPRIME_POW_ODD int_coprime_pow_odd
INT_COPRIME_PRIME int_coprime_prime
INT_COPRIME_PRIMEPOW int_coprime_primepow
INT_COPRIME_PRIME_EQ int_coprime_prime_eq
INT_COPRIME_RABS int_coprime_rabs
INT_COPRIME_REFL int_coprime_refl
INT_COPRIME_RMUL int_coprime_rmul
INT_COPRIME_RMUL2 int_coprime_rmul2
INT_COPRIME_RNEG int_coprime_rneg
INT_COPRIME_RPOW int_coprime_rpow
INT_COPRIME_RREM int_coprime_rrem
INT_COPRIME_SOS int_coprime_sos
INT_COPRIME_SYM int_coprime_sym
INT_CRT_STRONG int_crt_strong
INT_CRT_STRONG_IFF int_crt_strong_iff
INT_DISTINCT_PRIME_COPRIME int_distinct_prime_coprime
INT_DIVIDES_0 int_divides_0
INT_DIVIDES_1 int_divides_1
INT_DIVIDES_ADD int_divides_add
INT_DIVIDES_ADD_REVL int_divides_add_revl
INT_DIVIDES_ADD_REVR int_divides_add_revr
INT_DIVIDES_ANTISYM int_divides_antisym
INT_DIVIDES_ANTISYM_ABS int_divides_antisym_abs
INT_DIVIDES_ANTISYM_ASSOCIATED int_divides_antisym_associated
INT_DIVIDES_ANTISYM_DIVISORS int_divides_antisym_divisors
INT_DIVIDES_ANTISYM_MULTIPLES int_divides_antisym_multiples
INT_DIVIDES_ANTISYM_POS int_divides_antisym_pos
INT_DIVIDES_CMUL2 int_divides_cmul2
INT_DIVIDES_FACT int_divides_fact
INT_DIVIDES_FACT_PRIME int_divides_fact_prime
INT_DIVIDES_GCD int_divides_gcd
INT_DIVIDES_GCD_LEFT int_divides_gcd_left
INT_DIVIDES_GCD_RIGHT int_divides_gcd_right
INT_DIVIDES_LCM int_divides_lcm
INT_DIVIDES_LE int_divides_le
INT_DIVIDES_LMUL int_divides_lmul
INT_DIVIDES_LMUL2 int_divides_lmul2
INT_DIVIDES_LMUL2_EQ int_divides_lmul2_eq
INT_DIVIDES_LNEG int_divides_lneg
INT_DIVIDES_MUL int_divides_mul
INT_DIVIDES_MUL2 int_divides_mul2
INT_DIVIDES_MUL_L int_divides_mul_l
INT_DIVIDES_MUL_R int_divides_mul_r
INT_DIVIDES_ONE int_divides_one
INT_DIVIDES_ONE_ABS int_divides_one_abs
INT_DIVIDES_ONE_POS int_divides_one_pos
INT_DIVIDES_POW int_divides_pow
INT_DIVIDES_POW2 int_divides_pow2
INT_DIVIDES_POW2_EQ int_divides_pow2_eq
INT_DIVIDES_POW2_REV int_divides_pow2_rev
INT_DIVIDES_POW_LE int_divides_pow_le
INT_DIVIDES_POW_LE_IMP int_divides_pow_le_imp
INT_DIVIDES_PRIME_POW_LE int_divides_prime_pow_le
INT_DIVIDES_PRIME_PRIME int_divides_prime_prime
INT_DIVIDES_REFL int_divides_refl
INT_DIVIDES_RMUL int_divides_rmul
INT_DIVIDES_RMUL2 int_divides_rmul2
INT_DIVIDES_RMUL2_EQ int_divides_rmul2_eq
INT_DIVIDES_RNEG int_divides_rneg
INT_DIVIDES_RPOW int_divides_rpow
INT_DIVIDES_RPOW_SUC int_divides_rpow_suc
INT_DIVIDES_SUB int_divides_sub
INT_DIVIDES_TRANS int_divides_trans
INT_DIVIDES_ZERO int_divides_zero
INT_DIVISION_DECOMP int_division_decomp
INT_EQ_IMP_CONG int_eq_imp_cong
INT_EQ_PRIME_POW_ABS int_eq_prime_pow_abs
INT_EQ_PRIME_POW_POS int_eq_prime_pow_pos
INT_EUCLID int_euclid
INT_EUCLID_BOUND int_euclid_bound
INT_GCD int_gcd
INT_GCD_0 int_gcd_0
INT_GCD_1 int_gcd_1
INT_GCD_ABS int_gcd_abs
INT_GCD_ADD int_gcd_add
INT_GCD_ASSOC int_gcd_assoc
INT_GCD_BEZOUT int_gcd_bezout
INT_GCD_COPRIME int_gcd_coprime
INT_GCD_COPRIME_DIVIDES_LMUL int_gcd_coprime_divides_lmul
INT_GCD_COPRIME_DIVIDES_RMUL int_gcd_coprime_divides_rmul
INT_GCD_COPRIME_EXISTS int_gcd_coprime_exists
INT_GCD_COPRIME_LMUL int_gcd_coprime_lmul
INT_GCD_COPRIME_RMUL int_gcd_coprime_rmul
INT_GCD_DIVIDES int_gcd_divides
INT_GCD_EQ int_gcd_eq
INT_GCD_EQ_0 int_gcd_eq_0
INT_GCD_LABS int_gcd_labs
INT_GCD_LMUL int_gcd_lmul
INT_GCD_LNEG int_gcd_lneg
INT_GCD_MULTIPLE int_gcd_multiple
INT_GCD_NEG int_gcd_neg
INT_GCD_POS int_gcd_pos
INT_GCD_POW int_gcd_pow
INT_GCD_RABS int_gcd_rabs
INT_GCD_REFL int_gcd_refl
INT_GCD_RMUL int_gcd_rmul
INT_GCD_RNEG int_gcd_rneg
INT_GCD_SUB int_gcd_sub
INT_GCD_SYM int_gcd_sym
INT_GCD_UNIQUE int_gcd_unique
INT_GCD_UNIQUE_ABS int_gcd_unique_abs
INT_LCM_0 int_lcm_0
INT_LCM_1 int_lcm_1
INT_LCM_ABS int_lcm_abs
INT_LCM_ASSOC int_lcm_assoc
INT_LCM_EQ int_lcm_eq
INT_LCM_EQ_0 int_lcm_eq_0
INT_LCM_LABS int_lcm_labs
INT_LCM_LMUL int_lcm_lmul
INT_LCM_LNEG int_lcm_lneg
INT_LCM_NEG int_lcm_neg
INT_LCM_POW int_lcm_pow
INT_LCM_RABS int_lcm_rabs
INT_LCM_REFL int_lcm_refl
INT_LCM_RMUL int_lcm_rmul
INT_LCM_RNEG int_lcm_rneg
INT_LCM_SYM int_lcm_sym
INT_LCM_UNIQUE int_lcm_unique
INT_LCM_UNIQUE_ABS int_lcm_unique_abs
INT_LINEAR_CONG_POS int_linear_cong_pos
INT_POW_MUL_EXISTS int_pow_mul_exists
INT_PRIMES_INFINITE int_primes_infinite
INT_PRIME_0 int_prime_0
INT_PRIME_1 int_prime_1
INT_PRIME_2 int_prime_2
INT_PRIME_ABS int_prime_abs
INT_PRIME_COPRIME int_prime_coprime
INT_PRIME_COPRIME_CASES int_prime_coprime_cases
INT_PRIME_COPRIME_EQ int_prime_coprime_eq
INT_PRIME_COPRIME_LT int_prime_coprime_lt
INT_PRIME_DIVPOW int_prime_divpow
INT_PRIME_DIVPOW_N int_prime_divpow_n
INT_PRIME_DIVPROD int_prime_divprod
INT_PRIME_DIVPROD_EQ int_prime_divprod_eq
INT_PRIME_DIVPROD_POW int_prime_divprod_pow
INT_PRIME_FACTOR int_prime_factor
INT_PRIME_FACTOR_INDUCT int_prime_factor_induct
INT_PRIME_FACTOR_LT int_prime_factor_lt
INT_PRIME_GE_2 int_prime_ge_2
INT_PRIME_IMP_NZ int_prime_imp_nz
INT_PRIME_NEG int_prime_neg
ODD_SQUARE_MOD4 odd_square_mod4
SOLVABLE_GCD solvable_gcd
int_prime int_prime
