fact: Definition evalCArithExpr1 t l := Tree.eval (CArithExprToTree t) l.
imports: Coq(Bool Floats Reals List Lia Lra) Flocq(Core PrimFloat BinarySingleNaN Operations) Specific_bigint Specific_ops Interval_helper Float_full Prog Lang_expr