Structs§
Enums§
- Contract
Expr - Contract
Kind - Contract
Projection - Numeric
Op - Numeric
Unary Op - Place
Base - Property
- A safety property: either a single predicate (
Leaf) or a disjunction of alternative predicate groups (Or). - Property
Arg - Property
Kind - RelOp