# Generated by tools/translator: qualified upstream name -> MoonBit name.
BINARYSUM_BITSET binarysum_bitset
BINARYSUM_BOUND binarysum_bound
BINARYSUM_BOUND_EQ binarysum_bound_eq
BINARYSUM_BOUND_LEMMA binarysum_bound_lemma
BINARYSUM_DIV binarysum_div
BINARYSUM_DIV_DIVISIBLE binarysum_div_divisible
BITSET_0 bitset_0
BITSET_BINARYSUM bitset_binarysum
BITSET_BOUND bitset_bound
BITSET_BOUND_EQ bitset_bound_eq
BITSET_BOUND_LEMMA bitset_bound_lemma
BITSET_BOUND_WEAK bitset_bound_weak
BITSET_EQ bitset_eq
BITSET_EQ_EMPTY bitset_eq_empty
BITSET_STEP bitset_step
BOUNDED_FINITE bounded_finite
EVEN_NSUM even_nsum
FINITE_BITSET finite_bitset
binarysum binarysum
bitset bitset
