arrow-analysis-kotlin-plugin
2.0.2-alpha.18
arrow-analysis-kotlin-plugin
/
arrow.meta.plugins.analysis.phases.analysis.solver.ast.kotlin
/
KotlinResolutionContext
/
reportUnsatInvariants
report
Unsat
Invariants
fun
reportUnsatInvariants
(
expression
:
Element
,
msg
:
String
)
Content copied to clipboard