VDM-SL includes basic types modelling numbers and characters as follows: Data types are defined to represent the main data of the modelled system.
VDM-SL включає наступні типи, що моделюють числа та символи: Типи даних описуються для представлення основних даних системи, що моделюється.