contract

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

Describe effects at the beginning of a function body. The block is never executed.