→Typed

When logi.CAD 3 evaluates the elements, an →overloaded language element is typed. This determines the concrete →data type, for instance the concrete data type INT could be determined for the generic data type ANY_INT.

→Expressions are also typed. See "Typing of expressions" for explanations on this.