arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.collect.model

Package arrow.meta.plugins.analysis.phases.analysis.solver.collect.model

Types

Link copied to clipboard
data class DeclarationConstraints(    val descriptor: DeclarationDescriptor,     val pre: List<NamedConstraint>,     val post: List<NamedConstraint>,     val doNotLookAtArgumentsWhen: List<NamedConstraint>)
Content copied to clipboard
Link copied to clipboard
data class NamedConstraint(val msg: String, val formula: BooleanFormula)
Content copied to clipboard