# Generated by tools/translator: qualified upstream name -> MoonBit name.
APPELL_SEQUENCE appell_sequence
BINOM binom_v1
BINOMIAL_THEOREM binomial_theorem
BINOM_0 binom_0
BINOM_1 binom_1
BINOM_BOTH_STEP binom_both_step
BINOM_BOTH_STEP_DOWN binom_both_step_down
BINOM_BOTH_STEP_REAL binom_both_step_real
BINOM_BOTTOM_STEP binom_bottom_step
BINOM_BOTTOM_STEP_REAL binom_bottom_step_real
BINOM_EQ_0 binom_eq_0
BINOM_FACT binom_fact
BINOM_GE_TOP binom_ge_top
BINOM_LT binom_lt
BINOM_MUL_SHIFT binom_mul_shift
BINOM_PENULT binom_penult
BINOM_REFL binom_refl
BINOM_SYM binom_sym
BINOM_TOP_STEP binom_top_step
BINOM_TOP_STEP_REAL binom_top_step_real
CARD_RESTRICTED_POWERSET card_restricted_powerset
DIVIDES_COPRIME_BINOM divides_coprime_binom
DIVIDES_GCD_BINOM divides_gcd_binom
DIVIDES_PRIME_BINOM divides_prime_binom
HAS_SIZE_RESTRICTED_POWERSET has_size_restricted_powerset
NUM_BINOM_CONV num_binom_conv
REAL_BINOMIAL_THEOREM real_binomial_theorem
REAL_OF_NUM_BINOM real_of_num_binom
binom binom
