contract

Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)

@ExperimentalContracts inline fun contract(
    builder: ContractBuilder.() -> Unit)

Определяет контракт функции.

Описание контракта должно быть в начале функции и содержать как минимум одно действие.

Пока только функции верхнего уровня могут иметь контракт.

Параметры

builder - лямбда, где контракт функции описывается с помощью членов ContractBuilder.