# Generated by tools/translator: qualified upstream name -> MoonBit name.
AGM agm
AGM_2 agm_2
CAUCHY_INDUCT cauchy_induct
FORALL_2 forall_2
NUMSEG_2 numseg_2
PRODUCT_SPLIT_2 product_split_2
SUM_SPLIT_2 sum_split_2
