VDM-SL Data & Compund Type
VDM-SL Data & Compund Type
► Sequences are finite ordered collections (lists) in which duplication may occur
while the set of all information values is called the range of the map.
Map Types
Mapping
Mapping
Type Constructors