# Generated by tools/translator: qualified upstream name -> MoonBit name.
NUM_RING num_ring
NUM_SIMPLIFY_CONV num_simplify_conv
RING ring
RING_AND_IDEAL_CONV ring_and_ideal_conv
ideal_cofactors ideal_cofactors
type:history History
