Module reachability_constraints 

Core data structures for recording reachability constraints.

See crate::reachability_constraints for more details.

Structs

InteriorNode

ReachabilityConstraints

A collection of reachability constraints for a given scope.

ReachabilityConstraintsBuilder

ScopedReachabilityConstraintId

A ternary formula that defines under what conditions a binding is visible. (A ternary formula is just like a boolean formula, but with Ambiguous as a third potential result. See the module documentation for more details.)