# Generated by tools/translator: qualified upstream name -> MoonBit name.
GEN_REAL_ARITH gen_real_arith
REAL_ARITH real_arith
REAL_ENTIRE real_entire
REAL_LET_ADD real_let_add
REAL_LET_TOTAL real_let_total
REAL_LET_TRANS real_let_trans
REAL_LE_ADD real_le_add
REAL_LE_LT real_le_lt
REAL_LE_NEGTOTAL real_le_negtotal
REAL_LE_SQUARE real_le_square
REAL_LINEAR_PROVER real_linear_prover
REAL_LTE_ADD real_lte_add
REAL_LTE_ANTISYM real_lte_antisym
REAL_LTE_TOTAL real_lte_total
REAL_LTE_TRANS real_lte_trans
REAL_LT_ADD real_lt_add
REAL_LT_IMP_LE real_lt_imp_le
REAL_LT_LE real_lt_le
REAL_LT_NZ real_lt_nz
REAL_LT_REFL real_lt_refl
REAL_LT_TRANS real_lt_trans
REAL_MUL_RID real_mul_rid
REAL_NEG_SUB real_neg_sub
REAL_NOT_LT real_not_lt
REAL_POLY_CLAUSES real_poly_clauses
REAL_POLY_NEG_CLAUSES real_poly_neg_clauses
REAL_POS real_pos
REAL_POS_LT real_pos_lt
REAL_POW_2 real_pow_2
REAL_SUB_0 real_sub_0
REAL_SUB_LE real_sub_le
REAL_SUB_LT real_sub_lt
type:positivstellensatz Positivstellensatz
