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

formula

val formula: BooleanFormula
Content copied to clipboard