# Generated by tools/translator: qualified upstream name -> MoonBit name.
ABELIAN_MODMUL_GROUP abelian_modmul_group
CYCLIC_MODMUL_GROUP cyclic_modmul_group
FINITE_MODMUL_GROUP finite_modmul_group
GROUP_ELEMENT_ORDER_MODMUL_GROUP group_element_order_modmul_group
GROUP_HOMOMORPHISM_PROD_MODMUL_GROUP group_homomorphism_prod_modmul_group
GROUP_ISOMORPHISM_PROD_MODMUL_GROUP group_isomorphism_prod_modmul_group
GROUP_POW_MODMUL_GROUP group_pow_modmul_group
HAS_SIZE_MODMUL_GROUP has_size_modmul_group
ISOMORPHIC_GROUP_MODMUL_GROUP isomorphic_group_modmul_group
MODMUL_GROUP modmul_group_v1
MULT_EQ_2 mult_eq_2
ORDER_MODMUL_GROUP order_modmul_group
TRIVIAL_MODMUL_GROUP trivial_modmul_group
modmul_group modmul_group
