ExperimentalContracts

annotation class ExperimentalContracts(source)

Opt-in marker for compile-time function contract declarations.