Module constraints

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.