# Generated by tools/translator: qualified upstream name -> MoonBit name.
BITSIZE bitsize_v1
BITSIZE_0 bitsize_0
BITSIZE_1 bitsize_1
BITSIZE_2 bitsize_2
BITSIZE_CONV bitsize_conv
BITSIZE_DIV bitsize_div
BITSIZE_EQ_0 bitsize_eq_0
BITSIZE_LE bitsize_le
BITSIZE_MAX bitsize_max
BITSIZE_MIN bitsize_min
BITSIZE_MONO bitsize_mono
BITSIZE_MULT bitsize_mult
BITSIZE_MULT_ADD bitsize_mult_add
BITSIZE_MULT_LE bitsize_mult_le
BITSIZE_POW2 bitsize_pow2
BITSIZE_REV bitsize_rev
BITSIZE_REV_ALT bitsize_rev_alt
BITSIZE_REV_EQ bitsize_rev_eq
BITSIZE_REV_EQ_ALT bitsize_rev_eq_alt
BITSIZE_UNIQUE bitsize_unique
BITSIZE_UNIQUE_ALT bitsize_unique_alt
BITSIZE_UNIQUE_EQ bitsize_unique_eq
LE_BITSIZE le_bitsize
LE_BITSIZE_ALT le_bitsize_alt
bitsize bitsize
