# Generated by tools/translator: qualified upstream name -> MoonBit name.
CARD_CART card_cart
CONG_NPRODUCT cong_nproduct
EXP_NSUM exp_nsum
HAS_SIZE_CART has_size_cart
INT_OF_NUM_NPRODUCT int_of_num_nproduct
INT_POW_NSUM int_pow_nsum
IPRODUCT_ABS iproduct_abs
IPRODUCT_ADD_SPLIT iproduct_add_split
IPRODUCT_CLAUSES_LEFT iproduct_clauses_left
IPRODUCT_CLAUSES_NUMSEG iproduct_clauses_numseg
IPRODUCT_CLAUSES_RIGHT iproduct_clauses_right
IPRODUCT_CLOSED iproduct_closed
IPRODUCT_CLOSED_NONEMPTY iproduct_closed_nonempty
IPRODUCT_CONST iproduct_const
IPRODUCT_CONST_NUMSEG iproduct_const_numseg
IPRODUCT_CONST_NUMSEG_1 iproduct_const_numseg_1
IPRODUCT_DELETE iproduct_delete
IPRODUCT_DELTA iproduct_delta
IPRODUCT_EQ iproduct_eq
IPRODUCT_EQ_0 iproduct_eq_0
IPRODUCT_EQ_0_NUMSEG iproduct_eq_0_numseg
IPRODUCT_EQ_1 iproduct_eq_1
IPRODUCT_EQ_1_NUMSEG iproduct_eq_1_numseg
IPRODUCT_EQ_NUMSEG iproduct_eq_numseg
IPRODUCT_IMAGE iproduct_image
IPRODUCT_INJECTION iproduct_injection
IPRODUCT_LE iproduct_le
IPRODUCT_LE_1 iproduct_le_1
IPRODUCT_LE_NUMSEG iproduct_le_numseg
IPRODUCT_MUL iproduct_mul
IPRODUCT_MUL_GEN iproduct_mul_gen
IPRODUCT_MUL_NUMSEG iproduct_mul_numseg
IPRODUCT_NEG iproduct_neg
IPRODUCT_NEG_NUMSEG iproduct_neg_numseg
IPRODUCT_NEG_NUMSEG_1 iproduct_neg_numseg_1
IPRODUCT_OFFSET iproduct_offset
IPRODUCT_ONE iproduct_one
IPRODUCT_PAIR iproduct_pair
IPRODUCT_POS_LE iproduct_pos_le
IPRODUCT_POS_LE_NUMSEG iproduct_pos_le_numseg
IPRODUCT_POS_LT iproduct_pos_lt
IPRODUCT_POS_LT_NUMSEG iproduct_pos_lt_numseg
IPRODUCT_REFLECT iproduct_reflect
IPRODUCT_RELATED iproduct_related
IPRODUCT_RELATED_NONEMPTY iproduct_related_nonempty
IPRODUCT_RESTRICT iproduct_restrict
IPRODUCT_RESTRICT_SET iproduct_restrict_set
IPRODUCT_SING iproduct_sing
IPRODUCT_SING_NUMSEG iproduct_sing_numseg
IPRODUCT_SUPERSET iproduct_superset
IPRODUCT_SUPPORT iproduct_support
IPRODUCT_UNION iproduct_union
IPRODUCT_UNIV iproduct_univ
NPRODUCT_ADD_SPLIT nproduct_add_split
NPRODUCT_CLAUSES_LEFT nproduct_clauses_left
NPRODUCT_CLAUSES_NUMSEG nproduct_clauses_numseg
NPRODUCT_CLAUSES_RIGHT nproduct_clauses_right
NPRODUCT_CLOSED nproduct_closed
NPRODUCT_CLOSED_NONEMPTY nproduct_closed_nonempty
NPRODUCT_CONST nproduct_const
NPRODUCT_CONST_NUMSEG nproduct_const_numseg
NPRODUCT_CONST_NUMSEG_1 nproduct_const_numseg_1
NPRODUCT_DELETE nproduct_delete
NPRODUCT_DELTA nproduct_delta
NPRODUCT_EQ nproduct_eq
NPRODUCT_EQ_0 nproduct_eq_0
NPRODUCT_EQ_0_NUMSEG nproduct_eq_0_numseg
NPRODUCT_EQ_1 nproduct_eq_1
NPRODUCT_EQ_1_NUMSEG nproduct_eq_1_numseg
NPRODUCT_EQ_NUMSEG nproduct_eq_numseg
NPRODUCT_FACT nproduct_fact
NPRODUCT_IMAGE nproduct_image
NPRODUCT_INJECTION nproduct_injection
NPRODUCT_LE nproduct_le
NPRODUCT_LE_NUMSEG nproduct_le_numseg
NPRODUCT_MUL nproduct_mul
NPRODUCT_MUL_GEN nproduct_mul_gen
NPRODUCT_MUL_NUMSEG nproduct_mul_numseg
NPRODUCT_OFFSET nproduct_offset
NPRODUCT_ONE nproduct_one
NPRODUCT_PAIR nproduct_pair
NPRODUCT_POS_LT nproduct_pos_lt
NPRODUCT_POS_LT_NUMSEG nproduct_pos_lt_numseg
NPRODUCT_REFLECT nproduct_reflect
NPRODUCT_RELATED nproduct_related
NPRODUCT_RELATED_NONEMPTY nproduct_related_nonempty
NPRODUCT_RESTRICT nproduct_restrict
NPRODUCT_RESTRICT_SET nproduct_restrict_set
NPRODUCT_SING nproduct_sing
NPRODUCT_SING_NUMSEG nproduct_sing_numseg
NPRODUCT_SUPERSET nproduct_superset
NPRODUCT_SUPPORT nproduct_support
NPRODUCT_UNION nproduct_union
NPRODUCT_UNIV nproduct_univ
POLYNOMIAL_FUNCTION_PRODUCT polynomial_function_product
PRODUCT_ABS product_abs
PRODUCT_ADD_SPLIT product_add_split
PRODUCT_CLAUSES_LEFT product_clauses_left
PRODUCT_CLAUSES_NUMSEG product_clauses_numseg
PRODUCT_CLAUSES_RIGHT product_clauses_right
PRODUCT_CLOSED product_closed
PRODUCT_CLOSED_NONEMPTY product_closed_nonempty
PRODUCT_CONST product_const
PRODUCT_CONST_NUMSEG product_const_numseg
PRODUCT_CONST_NUMSEG_1 product_const_numseg_1
PRODUCT_DELETE product_delete
PRODUCT_DELTA product_delta
PRODUCT_DIV product_div
PRODUCT_DIV_NUMSEG product_div_numseg
PRODUCT_EQ product_eq
PRODUCT_EQ_0 product_eq_0
PRODUCT_EQ_0_NUMSEG product_eq_0_numseg
PRODUCT_EQ_1 product_eq_1
PRODUCT_EQ_1_NUMSEG product_eq_1_numseg
PRODUCT_EQ_NUMSEG product_eq_numseg
PRODUCT_IMAGE product_image
PRODUCT_INJECTION product_injection
PRODUCT_INV product_inv
PRODUCT_LE product_le
PRODUCT_LE_1 product_le_1
PRODUCT_LE_NUMSEG product_le_numseg
PRODUCT_MUL product_mul
PRODUCT_MUL_GEN product_mul_gen
PRODUCT_MUL_NUMSEG product_mul_numseg
PRODUCT_NEG product_neg
PRODUCT_NEG_NUMSEG product_neg_numseg
PRODUCT_NEG_NUMSEG_1 product_neg_numseg_1
PRODUCT_OFFSET product_offset
PRODUCT_ONE product_one
PRODUCT_PAIR product_pair
PRODUCT_POS_LE product_pos_le
PRODUCT_POS_LE_NUMSEG product_pos_le_numseg
PRODUCT_POS_LT product_pos_lt
PRODUCT_POS_LT_NUMSEG product_pos_lt_numseg
PRODUCT_REFLECT product_reflect
PRODUCT_RELATED product_related
PRODUCT_RELATED_NONEMPTY product_related_nonempty
PRODUCT_RESTRICT product_restrict
PRODUCT_RESTRICT_SET product_restrict_set
PRODUCT_SING product_sing
PRODUCT_SING_NUMSEG product_sing_numseg
PRODUCT_SUPERSET product_superset
PRODUCT_SUPPORT product_support
PRODUCT_UNION product_union
PRODUCT_UNIV product_univ
REAL_OF_NUM_NPRODUCT real_of_num_nproduct
REAL_POW_NSUM real_pow_nsum
