contract

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

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

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

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

Только функции верхнего уровня могут иметь контракт на данный момент.

Параметры

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