Dictionary divided into 2 or 3 panes: The left-hand pane shows the categories of objects that can be used in checks. The mid-pane lists the sub-categories of objects The right-hand pane (if any) lists the operators related to the items/constructors listed in the left-hand or the mid-pane. The Editor enables you to enter the check body
The Editor enables you to enter the Rule body Dictionary divided into 2 or 3 panes: The left-hand pane shows the categories of objects that can be used in rules. The mid-pane lists the sub-categories of objects The right-hand pane (if any) lists the operators related to the items and constructors listed in the left-hand or the mid-pane.
Mathematic EKL (M-EKL) Core EKL (C-EKL) Advanced EKL (A-EKL) Extended EKL (X-EKL)
Part PartBody Pad.1 Pad.2
Object Type Literal TypeVoidType Enumerate RealStringBoolean Feature Magnitude Integer Length ListPointer Body ValuePointer Visualizable … … … … String Pointer Feature VoidType Internals used only for type checking in the language Concrete type Abstract type (used only to classify) Internal usage only