@ExperimentalContracts inline fun contract(
builder: ContractBuilder.() -> Unit)
Specifies the contract of a function.
The contract description must be at the beginning of a function and have at least one effect.
Only the top-level functions can have a contract for now.
builder - the lambda where the contract of a function is described with the help of the ContractBuilder members.