Platform and version requirements: JVM (1.3), JS (1.3), Native (1.3)

@ExperimentalContracts interface Returns : SimpleEffect

Describes a situation when a function returns normally with a given return value.

See Also

ContractBuilder.returns