arrow-analysis-common
2.0.3-alpha.1
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.check.model
/
ReturnPoints
/
ReturnPoints
Return
Points
fun
ReturnPoints
(
topMostReturnPointVariableName
:
Pair
<
String
?
,
ObjectFormula
>
,
namedReturnPointVariableNames
:
Map
<
String
,
ObjectFormula
>
)
Content copied to clipboard