constraint!() { /* proc-macro */ }Expand description
constraint!(model, [name|name[idx]], lhs <op> rhs), register a constraint,
an auto-named anonymous constraint, or an indexed family of constraints.
Single relations return ConstraintHandle for scalars and IndexedConstraint<K>
for families. Two-sided ranges return RangeConstraintHandles for scalars and
IndexedRangeConstraint<K> for families. Bind a result explicitly with
let handle = constraint!(...) to query the registered rows.