Sign in
android
/
platform
/
external
/
jetbrains
/
kotlin
/
v1.3.20
/
.
/
idea
/
testData
/
stubs
/
Contracts.kt
blob: 26de454278032a9933c0ad2a4fd05f527661b460 [
file
] [
log
] [
blame
]
@file
:
Suppress
(
"INVISIBLE_MEMBER"
)
package
test
import
kotlin
.
internal
.
contracts
.*
fun myRequire
(
x
:
Boolean
)
{
contract
{
returns
()
implies x
}
}