More exotic features: In earlier versions of the VDM-SL tools there was also support for parameterized modules and instantiations of such modules.
Особливіші можливості: В попередніх версіях VDM-SL tools також була підтримка модулів з параметрами, та реалізації таких модулів.