# Generated by tools/translator: qualified upstream name -> MoonBit name.
ITER iter
ITER_1 iter_1
ITER_ADD iter_add
ITER_ADD_POINTLESS iter_add_pointless
ITER_ALT iter_alt
ITER_ALT_POINTLESS iter_alt_pointless
ITER_FIXPOINT iter_fixpoint
ITER_MUL iter_mul
ITER_POINTLESS iter_pointless
ORDER_EXISTENCE_CARD order_existence_card
ORDER_EXISTENCE_FINITE order_existence_finite
ORDER_EXISTENCE_GEN order_existence_gen
ORDER_EXISTENCE_ITER order_existence_iter
