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