Module constraints

Source

Modules§

graph 🔒

Structs§

ConstraintSccIndex
OutlivesConstraint
OutlivesConstraintIndex 🔒
OutlivesConstraintSet 🔒
A set of NLL region constraints. These include “outlives” constraints of the form R1: R2. Each constraint is identified by a unique OutlivesConstraintIndex and you can index into the set (constraint_set[i]) to access the constraint details.