arrow-analysis-common
2.0.3-alpha.1
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.check.model
/
CheckData
/
CheckData
Check
Data
fun
CheckData
(
context
:
ResolutionContext
,
returnPoints
:
ReturnPoints
,
varInfo
:
CurrentVarInfo
,
branch
:
CurrentBranch
)
Content copied to clipboard