arrow-analysis-common
2.0.3-alpha.1
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.check.model
/
SubjectCondition
/
SubjectCondition
Subject
Condition
fun
SubjectCondition
(
check
:
WhenCondition
?
,
isElse
:
Boolean
,
body
:
Expression
,
whole
:
Element
)
Content copied to clipboard