arrow-analysis-common
2.0.2-alpha.15
arrow-analysis-common
/
arrow.meta.plugins.analysis.phases.analysis.solver.collect.model
/
NamedConstraint
/
NamedConstraint
Named
Constraint
fun
NamedConstraint
(
msg
:
String
,
formula
:
BooleanFormula
)
Content copied to clipboard