← Back to Kairo Docs
|
API Reference (Dokka)
Kairo
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
Kairo
kairo-testing
/
kairo.testing
/
postcondition
postcondition
inline
fun
<
T
,
R
>
T
.
postcondition
(
description
:
String
?
=
null
,
block
:
T
.
(
)
->
R
)
:
R
Semantic wrapper for verifying side effects after the test action.