contract
Начиная с Kotlin: 1.3
inline fun contract(builder: ContractBuilder.() -> Unit)
Задает контракт функции.
Описание контракта должно находиться в начале функции и содержать как минимум один эффект.
На данный момент контракт могут иметь только функции верхнего уровня.
Параметры
builder
лямбда, в которой контракт функции описывается с помощью членов ContractBuilder.
© 2010–2026 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/core/kotlin-stdlib/kotlin.contracts/contract.html
