arrow-analysis-common
2.0.3-alpha.1
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.check.model
/
noReturn
no
Return
fun
CheckData
.
noReturn
(
)
:
StateAfter
Content copied to clipboard
fun
CheckData
.
noReturn
(
f
:
(
)
->
Unit
)
:
ContSeq
<
StateAfter
>
Content copied to clipboard
Execute some operation but keep the overall state the same