New Features of Eli Version 4.2
This chapter summarizes changes made to the Module Library. For more details, see
Specification Module Library: Abstract Data Types.
SingleTYPEList(e) has been added. It creates a singleton list
from the element
e. In LIDO specifications it may be used e.g.
WITH clauses of
AddToOrderedSetTYPEList has been added.
It adds an element to a list if it is not yet in that list.
In contrast to the function
AddToSetTYPEList it is
assumed that the list is ordered increasingly.
A symbol role
TYPEFilterListElem has been added.
On list construction it
may be used instead of
TYPEListElem in order to
decide for each element whether it is to be inserted into the