In VDM++ definitions are per default private but in front of all definitions it is possible to use one of the access modifier keywords: private, public and protected.
В VDM++ описи є за замовчуванням приватними, але можна використати одне з ключових слів, для зміни доступу: private, public чи protected.