arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check

Package arrow.meta.plugins.analysis.phases.analysis.solver.check

Types

Link copied to clipboard
data class ParamInfo(    val name: String,     val smtName: String,     val type: Type?,     val element: Element?,     val thisFromConstructor: Boolean = false)
Content copied to clipboard

Functions

Link copied to clipboard
fun SolverState.checkDeclarationConstraints(    context: ResolutionContext,     declaration: Declaration,     descriptor: DeclarationDescriptor)
Content copied to clipboard

When the solver is in the prover state check this declaration body constraints