fact: Fixpoint evalExprTypeReal_list (Tl : list ExprType) : Set := match Tl with | nil => unit | _ :: Tl' => R * evalExprTypeReal_list Tl' end.
imports: Coq(PrimInt63 Sint63 Floats PArray) Coq(Bool List Reals Lia Lra) Flocq(Core PrimFloat BinarySingleNaN Operations)