Module c2rust_refactor::analysis::ownership::constraint

ConstraintSet and related definitions.

Structs

ConstraintSet	A set of constraints over permission expressions, of the form p1 <= p2.
EditConstraintSet	Editing cursor, for visiting every constraint while adding/removing as you go.

Enums

Perm	A permission expression.