arrow-analysis-kotlin-plugin/arrow.meta.plugins.analysis.phases.analysis.solver.ast.kotlin/KotlinResolutionContext/constraintsDSLElements

constraintsDSLElements

open override fun Element.constraintsDSLElements(): List<Element>
Content copied to clipboard

Recursively walks this element for calls to arrow.analysis.pre and arrow.analysis.post that hold preconditions