Тип определяет, какие операции могут выполняться над данными и как эти данные или значения хранятся для этого типа. Существуют общие типы, такие как int и string, составные типы и пользовательские типы. См. также Примитивный тип и Контейнерный тип. Ключевое слово type можно использовать с фигурными скобками, в которых указывается определяемый тип. На данный момент в качестве объявлений поддерживаются объявления функций и числовые диапазоны. Например, в определении функции Subscribe() для интерфейса subscribable используется ключевое слово type, чтобы указать, что её параметр Callback должен быть функцией с типом возвращаемого значения void.
Verse
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable