# Generated by tools/translator: qualified upstream name -> MoonBit name.
ARITH_RULE arith_rule
ARITH_TAC arith_tac
ASM_ARITH_TAC asm_arith_tac
ASM_INT_ARITH_TAC asm_int_arith_tac
BINARY_INDUCT binary_induct
CONG cong_v1
CONG_DIV2 cong_div2
CONG_LMOD cong_lmod
CONG_RMOD cong_rmod
COPRIME_LMOD coprime_lmod
COPRIME_RMOD coprime_rmod
DIVIDES_ANTISYM divides_antisym
DIVIDES_DIVIDES_DIV divides_divides_div
DIVIDES_DIVIDES_DIV_EQ divides_divides_div_eq
DIVIDES_DIVIDES_DIV_IMP divides_divides_div_imp
DIVIDES_DIV_DIVIDES divides_div_divides
DIVIDES_DIV_MULT divides_div_mult
DIVIDES_DIV_SELF divides_div_self
DIVIDES_LE divides_le
DIVIDES_LE_IMP divides_le_imp
DIVIDES_LE_STRONG divides_le_strong
DIVIDES_MOD divides_mod
DIVIDES_ONE divides_one
DIV_ADD div_add
DIV_BY_DIV div_by_div
EXISTS_INT_CASES exists_int_cases
FORALL_INT_CASES forall_int_cases
GCD gcd
INTEGER_REAL_OF_INT integer_real_of_int
INTEGER_RULE integer_rule
INTEGER_TAC integer_tac
INT_2_DIVIDES_ADD int_2_divides_add
INT_2_DIVIDES_MUL int_2_divides_mul
INT_2_DIVIDES_POW int_2_divides_pow
INT_2_DIVIDES_SUB int_2_divides_sub
INT_ABS int_abs_v1
INT_ABS_0 int_abs_0
INT_ABS_1 int_abs_1
INT_ABS_ABS int_abs_abs
INT_ABS_BETWEEN int_abs_between
INT_ABS_BETWEEN1 int_abs_between1
INT_ABS_BETWEEN2 int_abs_between2
INT_ABS_BOUND int_abs_bound
INT_ABS_BOUNDS int_abs_bounds
INT_ABS_CASES int_abs_cases
INT_ABS_CIRCLE int_abs_circle
INT_ABS_CONV int_abs_conv
INT_ABS_LE int_abs_le
INT_ABS_MUL int_abs_mul
INT_ABS_MUL_1 int_abs_mul_1
INT_ABS_NEG int_abs_neg
INT_ABS_NUM int_abs_num
INT_ABS_NZ int_abs_nz
INT_ABS_POS int_abs_pos
INT_ABS_POW int_abs_pow
INT_ABS_REFL int_abs_refl
INT_ABS_SGN int_abs_sgn
INT_ABS_SIGN int_abs_sign
INT_ABS_SIGN2 int_abs_sign2
INT_ABS_STILLNZ int_abs_stillnz
INT_ABS_SUB int_abs_sub
INT_ABS_SUB_ABS int_abs_sub_abs
INT_ABS_TRIANGLE int_abs_triangle
INT_ABS_ZERO int_abs_zero
INT_ADD2_SUB2 int_add2_sub2
INT_ADD_AC int_add_ac
INT_ADD_ASSOC int_add_assoc
INT_ADD_CONV int_add_conv
INT_ADD_LDISTRIB int_add_ldistrib
INT_ADD_LID int_add_lid
INT_ADD_LINV int_add_linv
INT_ADD_RDISTRIB int_add_rdistrib
INT_ADD_REM int_add_rem
INT_ADD_RID int_add_rid
INT_ADD_RINV int_add_rinv
INT_ADD_SUB int_add_sub
INT_ADD_SUB2 int_add_sub2
INT_ADD_SYM int_add_sym
INT_ARCH int_arch
INT_ARITH int_arith
INT_ARITH_TAC int_arith_tac
INT_BOUNDS_LE int_bounds_le
INT_BOUNDS_LT int_bounds_lt
INT_COMPUTE_CONV int_compute_conv
INT_CONG_DIV2 int_cong_div2
INT_CONG_IMP_EQ int_cong_imp_eq
INT_CONG_LREM int_cong_lrem
INT_CONG_NUM_EXISTS int_cong_num_exists
INT_CONG_RREM int_cong_rrem
INT_CONG_SOLVE_BOUNDS int_cong_solve_bounds
INT_DIFFSQ int_diffsq
INT_DIVIDES_ABS int_divides_abs
INT_DIVIDES_DIVIDES_DIV int_divides_divides_div
INT_DIVIDES_DIVIDES_DIV_EQ int_divides_divides_div_eq
INT_DIVIDES_DIV_DIVIDES int_divides_div_divides
INT_DIVIDES_DIV_SELF int_divides_div_self
INT_DIVIDES_LABS int_divides_labs
INT_DIVIDES_LCM_GCD int_divides_lcm_gcd
INT_DIVIDES_LE int_divides_le
INT_DIVIDES_RABS int_divides_rabs
INT_DIVISION int_division
INT_DIVISION_0 int_division_0
INT_DIVISION_SIMP int_division_simp
INT_DIVMOD_EXIST_0 int_divmod_exist_0
INT_DIVMOD_UNIQ int_divmod_uniq
INT_DIV_0 int_div_0
INT_DIV_1 int_div_1
INT_DIV_BY_DIV int_div_by_div
INT_DIV_CONV int_div_conv
INT_DIV_DIV int_div_div
INT_DIV_EQ_0 int_div_eq_0
INT_DIV_LE int_div_le
INT_DIV_LE_EQ int_div_le_eq
INT_DIV_LNEG int_div_lneg
INT_DIV_LT int_div_lt
INT_DIV_LT_EQ int_div_lt_eq
INT_DIV_MUL int_div_mul
INT_DIV_MUL_ADD int_div_mul_add
INT_DIV_NEG2 int_div_neg2
INT_DIV_REFL int_div_refl
INT_DIV_REM int_div_rem
INT_DIV_RNEG int_div_rneg
INT_DIV_UNIQ int_div_uniq
INT_DIV_ZERO int_div_zero
INT_ENTIRE int_entire
INT_EQ_ADD_LCANCEL int_eq_add_lcancel
INT_EQ_ADD_LCANCEL_0 int_eq_add_lcancel_0
INT_EQ_ADD_RCANCEL int_eq_add_rcancel
INT_EQ_ADD_RCANCEL_0 int_eq_add_rcancel_0
INT_EQ_CONV int_eq_conv
INT_EQ_IMP_LE int_eq_imp_le
INT_EQ_LCANCEL_IMP int_eq_lcancel_imp
INT_EQ_MUL_LCANCEL int_eq_mul_lcancel
INT_EQ_MUL_RCANCEL int_eq_mul_rcancel
INT_EQ_NEG2 int_eq_neg2
INT_EQ_RCANCEL_IMP int_eq_rcancel_imp
INT_EQ_SGN_ABS int_eq_sgn_abs
INT_EQ_SQUARE_ABS int_eq_square_abs
INT_EQ_SUB_LADD int_eq_sub_ladd
INT_EQ_SUB_RADD int_eq_sub_radd
INT_EVENPOW_ABS int_evenpow_abs
INT_EXISTS_ABS int_exists_abs
INT_EXISTS_POS int_exists_pos
INT_FORALL_ABS int_forall_abs
INT_FORALL_POS int_forall_pos
INT_GCD_EXISTS int_gcd_exists
INT_GCD_EXISTS_POS int_gcd_exists_pos
INT_GE int_ge_v1
INT_GE_CONV int_ge_conv
INT_GT int_gt_v1
INT_GT_CONV int_gt_conv
INT_GT_DISCRETE int_gt_discrete
INT_IMAGE int_image
INT_LCM int_lcm_v1
INT_LCM_DIVIDES int_lcm_divides
INT_LCM_POS int_lcm_pos
INT_LET_ADD int_let_add
INT_LET_ADD2 int_let_add2
INT_LET_ANTISYM int_let_antisym
INT_LET_TOTAL int_let_total
INT_LET_TRANS int_let_trans
INT_LE_01 int_le_01
INT_LE_ADD int_le_add
INT_LE_ADD2 int_le_add2
INT_LE_ADDL int_le_addl
INT_LE_ADDR int_le_addr
INT_LE_ANTISYM int_le_antisym
INT_LE_CONV int_le_conv
INT_LE_DISCRETE int_le_discrete
INT_LE_DIV int_le_div
INT_LE_DIV_EQ int_le_div_eq
INT_LE_DOUBLE int_le_double
INT_LE_LADD int_le_ladd
INT_LE_LADD_IMP int_le_ladd_imp
INT_LE_LCANCEL_IMP int_le_lcancel_imp
INT_LE_LMUL int_le_lmul
INT_LE_LMUL_EQ int_le_lmul_eq
INT_LE_LNEG int_le_lneg
INT_LE_LT int_le_lt
INT_LE_MAX int_le_max
INT_LE_MIN int_le_min
INT_LE_MUL int_le_mul
INT_LE_MUL2 int_le_mul2
INT_LE_MUL_EQ int_le_mul_eq
INT_LE_NEG2 int_le_neg2
INT_LE_NEGL int_le_negl
INT_LE_NEGR int_le_negr
INT_LE_NEGTOTAL int_le_negtotal
INT_LE_POW2 int_le_pow2
INT_LE_POW_2 int_le_pow_2
INT_LE_RADD int_le_radd
INT_LE_RCANCEL_IMP int_le_rcancel_imp
INT_LE_REFL int_le_refl
INT_LE_RMUL int_le_rmul
INT_LE_RMUL_EQ int_le_rmul_eq
INT_LE_RNEG int_le_rneg
INT_LE_SQUARE int_le_square
INT_LE_SQUARE_ABS int_le_square_abs
INT_LE_SUB_LADD int_le_sub_ladd
INT_LE_SUB_RADD int_le_sub_radd
INT_LE_TOTAL int_le_total
INT_LE_TRANS int_le_trans
INT_LE_TRANS_LE int_le_trans_le
INT_LE_TRANS_LT int_le_trans_lt
INT_LNEG_UNIQ int_lneg_uniq
INT_LT int_lt_v1
INT_LTE_ADD int_lte_add
INT_LTE_ADD2 int_lte_add2
INT_LTE_ANTISYM int_lte_antisym
INT_LTE_TOTAL int_lte_total
INT_LTE_TRANS int_lte_trans
INT_LT_01 int_lt_01
INT_LT_ADD int_lt_add
INT_LT_ADD1 int_lt_add1
INT_LT_ADD2 int_lt_add2
INT_LT_ADDL int_lt_addl
INT_LT_ADDNEG int_lt_addneg
INT_LT_ADDNEG2 int_lt_addneg2
INT_LT_ADDR int_lt_addr
INT_LT_ADD_SUB int_lt_add_sub
INT_LT_ANTISYM int_lt_antisym
INT_LT_CONV int_lt_conv
INT_LT_DISCRETE int_lt_discrete
INT_LT_DIV int_lt_div
INT_LT_DIV_EQ int_lt_div_eq
INT_LT_GT int_lt_gt
INT_LT_IMP_LE int_lt_imp_le
INT_LT_IMP_NE int_lt_imp_ne
INT_LT_LADD int_lt_ladd
INT_LT_LADD_IMP int_lt_ladd_imp
INT_LT_LCANCEL_IMP int_lt_lcancel_imp
INT_LT_LE int_lt_le
INT_LT_LMUL int_lt_lmul
INT_LT_LMUL_EQ int_lt_lmul_eq
INT_LT_LNEG int_lt_lneg
INT_LT_MAX int_lt_max
INT_LT_MIN int_lt_min
INT_LT_MUL int_lt_mul
INT_LT_MUL2 int_lt_mul2
INT_LT_MUL_EQ int_lt_mul_eq
INT_LT_NEG2 int_lt_neg2
INT_LT_NEGTOTAL int_lt_negtotal
INT_LT_POW2 int_lt_pow2
INT_LT_POW_2 int_lt_pow_2
INT_LT_RADD int_lt_radd
INT_LT_RCANCEL_IMP int_lt_rcancel_imp
INT_LT_REFL int_lt_refl
INT_LT_REM int_lt_rem
INT_LT_REM_EQ int_lt_rem_eq
INT_LT_RMUL int_lt_rmul
INT_LT_RMUL_EQ int_lt_rmul_eq
INT_LT_RNEG int_lt_rneg
INT_LT_SQUARE int_lt_square
INT_LT_SQUARE_ABS int_lt_square_abs
INT_LT_SUB_LADD int_lt_sub_ladd
INT_LT_SUB_RADD int_lt_sub_radd
INT_LT_TOTAL int_lt_total
INT_LT_TRANS int_lt_trans
INT_MAX int_max_v1
INT_MAX_ACI int_max_aci
INT_MAX_ASSOC int_max_assoc
INT_MAX_CONV int_max_conv
INT_MAX_LE int_max_le
INT_MAX_LT int_max_lt
INT_MAX_MAX int_max_max
INT_MAX_MIN int_max_min
INT_MAX_SYM int_max_sym
INT_MIN int_min_v1
INT_MIN_ACI int_min_aci
INT_MIN_ASSOC int_min_assoc
INT_MIN_CONV int_min_conv
INT_MIN_LE int_min_le
INT_MIN_LT int_min_lt
INT_MIN_MAX int_min_max
INT_MIN_MIN int_min_min
INT_MIN_SYM int_min_sym
INT_MUL_2 int_mul_2
INT_MUL_AC int_mul_ac
INT_MUL_ASSOC int_mul_assoc
INT_MUL_CONV int_mul_conv
INT_MUL_DIV_EQ int_mul_div_eq
INT_MUL_EQ_1 int_mul_eq_1
INT_MUL_GCD_LCM int_mul_gcd_lcm
INT_MUL_LCM_GCD int_mul_lcm_gcd
INT_MUL_LID int_mul_lid
INT_MUL_LNEG int_mul_lneg
INT_MUL_LZERO int_mul_lzero
INT_MUL_POS_LE int_mul_pos_le
INT_MUL_POS_LT int_mul_pos_lt
INT_MUL_REM int_mul_rem
INT_MUL_RID int_mul_rid
INT_MUL_RNEG int_mul_rneg
INT_MUL_RZERO int_mul_rzero
INT_MUL_SYM int_mul_sym
INT_NEG_0 int_neg_0
INT_NEG_ADD int_neg_add
INT_NEG_CONV int_neg_conv
INT_NEG_EQ int_neg_eq
INT_NEG_EQ_0 int_neg_eq_0
INT_NEG_GE0 int_neg_ge0
INT_NEG_GT0 int_neg_gt0
INT_NEG_LE0 int_neg_le0
INT_NEG_LMUL int_neg_lmul
INT_NEG_LT0 int_neg_lt0
INT_NEG_MINUS1 int_neg_minus1
INT_NEG_MUL2 int_neg_mul2
INT_NEG_NEG int_neg_neg
INT_NEG_REM int_neg_rem
INT_NEG_RMUL int_neg_rmul
INT_NEG_SUB int_neg_sub
INT_NOT_EQ int_not_eq
INT_NOT_LE int_not_le
INT_NOT_LT int_not_lt
INT_OF_NUM_ADD int_of_num_add
INT_OF_NUM_CLAUSES int_of_num_clauses
INT_OF_NUM_DIV int_of_num_div
INT_OF_NUM_EQ int_of_num_eq
INT_OF_NUM_EXISTS int_of_num_exists
INT_OF_NUM_GE int_of_num_ge
INT_OF_NUM_GT int_of_num_gt
INT_OF_NUM_LE int_of_num_le
INT_OF_NUM_LT int_of_num_lt
INT_OF_NUM_MAX int_of_num_max
INT_OF_NUM_MIN int_of_num_min
INT_OF_NUM_MOD int_of_num_mod
INT_OF_NUM_MUL int_of_num_mul
INT_OF_NUM_OF_INT int_of_num_of_int
INT_OF_NUM_POW int_of_num_pow
INT_OF_NUM_REM int_of_num_rem
INT_OF_NUM_SUB int_of_num_sub
INT_OF_NUM_SUB_CASES int_of_num_sub_cases
INT_OF_NUM_SUC int_of_num_suc
INT_OF_REAL_THM int_of_real_thm
INT_POLY_CONV int_poly_conv
INT_POS int_pos
INT_POS_EQ_SQUARE int_pos_eq_square
INT_POS_NZ int_pos_nz
INT_POW int_pow_v1
INT_POW2_ABS int_pow2_abs
INT_POW_1 int_pow_1
INT_POW_1_LE int_pow_1_le
INT_POW_1_LT int_pow_1_lt
INT_POW_2 int_pow_2
INT_POW_ADD int_pow_add
INT_POW_CONV int_pow_conv
INT_POW_EQ int_pow_eq
INT_POW_EQ_0 int_pow_eq_0
INT_POW_EQ_1 int_pow_eq_1
INT_POW_EQ_1_IMP int_pow_eq_1_imp
INT_POW_EQ_ABS int_pow_eq_abs
INT_POW_EQ_EQ int_pow_eq_eq
INT_POW_EQ_ODD int_pow_eq_odd
INT_POW_EQ_ODD_EQ int_pow_eq_odd_eq
INT_POW_LBOUND int_pow_lbound
INT_POW_LE int_pow_le
INT_POW_LE2 int_pow_le2
INT_POW_LE2_ODD int_pow_le2_odd
INT_POW_LE2_ODD_EQ int_pow_le2_odd_eq
INT_POW_LE2_REV int_pow_le2_rev
INT_POW_LE_1 int_pow_le_1
INT_POW_LT int_pow_lt
INT_POW_LT2 int_pow_lt2
INT_POW_LT2_ODD int_pow_lt2_odd
INT_POW_LT2_ODD_EQ int_pow_lt2_odd_eq
INT_POW_LT2_REV int_pow_lt2_rev
INT_POW_LT_1 int_pow_lt_1
INT_POW_MONO int_pow_mono
INT_POW_MONO_LT int_pow_mono_lt
INT_POW_MUL int_pow_mul
INT_POW_NEG int_pow_neg
INT_POW_NZ int_pow_nz
INT_POW_ONE int_pow_one
INT_POW_POW int_pow_pow
INT_POW_REM int_pow_rem
INT_POW_REM_CONV int_pow_rem_conv
INT_POW_ZERO int_pow_zero
INT_REDUCE_CONV int_reduce_conv
INT_RED_CONV int_red_conv
INT_REM_0 int_rem_0
INT_REM_1 int_rem_1
INT_REM_2_CASES int_rem_2_cases
INT_REM_2_DIVIDES int_rem_2_divides
INT_REM_2_EXPAND int_rem_2_expand
INT_REM_2_NEG int_rem_2_neg
INT_REM_CONV int_rem_conv
INT_REM_DIV int_rem_div
INT_REM_DOWN_CONV int_rem_down_conv
INT_REM_EQ int_rem_eq
INT_REM_EQ_0 int_rem_eq_0
INT_REM_EQ_SELF int_rem_eq_self
INT_REM_LE int_rem_le
INT_REM_LE_EQ int_rem_le_eq
INT_REM_LNEG int_rem_lneg
INT_REM_LT int_rem_lt
INT_REM_MOD_SELF int_rem_mod_self
INT_REM_MUL int_rem_mul
INT_REM_MUL_ADD int_rem_mul_add
INT_REM_MUL_REM int_rem_mul_rem
INT_REM_NEG2 int_rem_neg2
INT_REM_POS int_rem_pos
INT_REM_POS_EQ int_rem_pos_eq
INT_REM_RABS int_rem_rabs
INT_REM_REFL int_rem_refl
INT_REM_REM int_rem_rem
INT_REM_REM_LE int_rem_rem_le
INT_REM_REM_MUL int_rem_rem_mul
INT_REM_REM_POW_MIN int_rem_rem_pow_min
INT_REM_RNEG int_rem_rneg
INT_REM_UNIQ int_rem_uniq
INT_REM_UNIQUE int_rem_unique
INT_REM_ZERO int_rem_zero
INT_RING int_ring
INT_RNEG_UNIQ int_rneg_uniq
INT_SGN int_sgn_v1
INT_SGNS_EQ int_sgns_eq
INT_SGNS_EQ_ALT int_sgns_eq_alt
INT_SGN_0 int_sgn_0
INT_SGN_ABS int_sgn_abs
INT_SGN_ABS_ALT int_sgn_abs_alt
INT_SGN_CASES int_sgn_cases
INT_SGN_CONV int_sgn_conv
INT_SGN_EQ int_sgn_eq
INT_SGN_EQ_INEQ int_sgn_eq_ineq
INT_SGN_INEQS int_sgn_ineqs
INT_SGN_INT_SGN int_sgn_int_sgn
INT_SGN_MUL int_sgn_mul
INT_SGN_NEG int_sgn_neg
INT_SGN_POW int_sgn_pow
INT_SGN_POW_2 int_sgn_pow_2
INT_SOS_EQ_0 int_sos_eq_0
INT_SUB int_sub_v1
INT_SUB_0 int_sub_0
INT_SUB_ABS int_sub_abs
INT_SUB_ADD int_sub_add
INT_SUB_ADD2 int_sub_add2
INT_SUB_CONV int_sub_conv
INT_SUB_LDISTRIB int_sub_ldistrib
INT_SUB_LE int_sub_le
INT_SUB_LNEG int_sub_lneg
INT_SUB_LT int_sub_lt
INT_SUB_LZERO int_sub_lzero
INT_SUB_NEG2 int_sub_neg2
INT_SUB_RDISTRIB int_sub_rdistrib
INT_SUB_REFL int_sub_refl
INT_SUB_REM int_sub_rem
INT_SUB_RNEG int_sub_rneg
INT_SUB_RZERO int_sub_rzero
INT_SUB_SUB int_sub_sub
INT_SUB_SUB2 int_sub_sub2
INT_SUB_TRIANGLE int_sub_triangle
INT_WLOG_LE int_wlog_le
INT_WLOG_LE_3 int_wlog_le_3
INT_WLOG_LT int_wlog_lt
INT_WOP int_wop
MULT_DIV mult_div
NOT_INT_REM_2 not_int_rem_2
NUMBER_RULE number_rule
NUMBER_TAC number_tac
NUM_CASES_BINARY num_cases_binary
NUM_GCD num_gcd_v1
NUM_LCM num_lcm_v1
NUM_OF_INT num_of_int_v1
NUM_OF_INT_ADD num_of_int_add
NUM_OF_INT_MUL num_of_int_mul
NUM_OF_INT_OF_NUM num_of_int_of_num
NUM_OF_INT_POW num_of_int_pow
NUM_TO_INT_CONV num_to_int_conv
ONE_OR_PRIME one_or_prime
ONE_OR_PRIME_DIVIDES_OR_COPRIME one_or_prime_divides_or_coprime
PRIME_COPRIME_EQ_NONDIVISIBLE prime_coprime_eq_nondivisible
PROPERLY_DIVIDES_LE_IMP properly_divides_le_imp
REAL_ABS_ZPOW real_abs_zpow
REAL_INV_ZPOW real_inv_zpow
REAL_OF_INT_CLAUSES real_of_int_clauses
REAL_POW_ZPOW real_pow_zpow
REAL_SGN_ZPOW real_sgn_zpow
REAL_ZPOW_0 real_zpow_0
REAL_ZPOW_1 real_zpow_1
REAL_ZPOW_2 real_zpow_2
REAL_ZPOW_ADD real_zpow_add
REAL_ZPOW_DIV real_zpow_div
REAL_ZPOW_EQ_0 real_zpow_eq_0
REAL_ZPOW_INV real_zpow_inv
REAL_ZPOW_LE real_zpow_le
REAL_ZPOW_LT real_zpow_lt
REAL_ZPOW_MINUS1 real_zpow_minus1
REAL_ZPOW_MUL real_zpow_mul
REAL_ZPOW_NEG real_zpow_neg
REAL_ZPOW_NUM real_zpow_num
REAL_ZPOW_ONE real_zpow_one
REAL_ZPOW_POW real_zpow_pow
REAL_ZPOW_SUB real_zpow_sub
REAL_ZPOW_ZERO real_zpow_zero
REAL_ZPOW_ZPOW real_zpow_zpow
WF_INT_MEASURE wf_int_measure
WF_INT_MEASURE_2 wf_int_measure_2
ZERO_ONE_OR_PRIME zero_one_or_prime
ZERO_ONE_OR_PRIME_DIVPROD zero_one_or_prime_divprod
cong cong
coprime coprime
dest_int_rep dest_int_rep
dest_intconst dest_intconst
divides divides
int_abs int_abs
int_abs_th int_abs_th
int_abstr int_abstr
int_add int_add
int_add_th int_add_th
int_compute_add_convs int_compute_add_convs
int_congruent int_congruent
int_coprime int_coprime
int_divides int_divides
int_eq int_eq
int_gcd int_gcd
int_ge int_ge
int_gt int_gt
int_ideal_cofactors int_ideal_cofactors
int_lcm int_lcm
int_le int_le
int_lt int_lt
int_max int_max
int_max_th int_max_th
int_min int_min
int_min_th int_min_th
int_mod int_mod
int_mul int_mul
int_mul_th int_mul_th
int_neg int_neg
int_neg_th int_neg_th
int_of_num int_of_num
int_of_num_th int_of_num_th
int_pow int_pow
int_pow_th int_pow_th
int_red_conv_list int_red_conv_list
int_rep int_rep
int_sgn int_sgn
int_sgn_th int_sgn_th
int_sub int_sub
int_sub_th int_sub_th
int_tybij int_tybij
integer integer
is_int is_int
is_intconst is_intconst
mk_intconst mk_intconst
num_WF_DOWN num_wf_down
num_congruent num_congruent
num_coprime num_coprime
num_divides num_divides
num_gcd num_gcd
num_lcm num_lcm
num_mod num_mod
num_of_int num_of_int
prime prime
prioritize_int prioritize_int
real_mod real_mod
real_zpow real_zpow
