# Generated by tools/translator: qualified upstream name -> MoonBit name.
DEST_FRAG_0 dest_frag_0
DEST_FRAG_ADD dest_frag_add
DEST_FRAG_CMUL dest_frag_cmul
DEST_FRAG_NEG dest_frag_neg
DEST_FRAG_OF dest_frag_of
DEST_FRAG_SUB dest_frag_sub
FINITE_FRAG_SUPPORT finite_frag_support
FRAG_ADD_EQ_0 frag_add_eq_0
FRAG_CLOSURE_SUB_CMUL frag_closure_sub_cmul
FRAG_CMUL_SUM frag_cmul_sum
FRAG_EQ frag_eq
FRAG_EXPANSION frag_expansion
FRAG_EXTEND frag_extend_v1
FRAG_EXTEND_0 frag_extend_0
FRAG_EXTEND_ADD frag_extend_add
FRAG_EXTEND_CMUL frag_extend_cmul
FRAG_EXTEND_COMPOSE frag_extend_compose
FRAG_EXTEND_EQ frag_extend_eq
FRAG_EXTEND_EQ_0 frag_extend_eq_0
FRAG_EXTEND_NEG frag_extend_neg
FRAG_EXTEND_OF frag_extend_of
FRAG_EXTEND_SUB frag_extend_sub
FRAG_EXTEND_SUM frag_extend_sum
FRAG_INDUCTION frag_induction
FRAG_MODULE frag_module
FRAG_OF_EQ frag_of_eq
FRAG_OF_NONZERO frag_of_nonzero
FRAG_SPLIT frag_split
FRAG_SUPPORT_0 frag_support_0
FRAG_SUPPORT_ADD frag_support_add
FRAG_SUPPORT_CMUL frag_support_cmul
FRAG_SUPPORT_EQ_EMPTY frag_support_eq_empty
FRAG_SUPPORT_FRAG_EXTEND frag_support_frag_extend
FRAG_SUPPORT_NEG frag_support_neg
FRAG_SUPPORT_OF frag_support_of
FRAG_SUPPORT_SUB frag_support_sub
FRAG_SUPPORT_SUM frag_support_sum
MONOIDAL_FRAG_ADD monoidal_frag_add
NEUTRAL_FRAG_ADD neutral_frag_add
frag_0 frag_0
frag_add frag_add
frag_cmul frag_cmul
frag_extend frag_extend
frag_neg frag_neg
frag_of frag_of
frag_sub frag_sub
frag_support frag_support
frag_tybij frag_tybij
