Structs§
- Analysis
Report - Approval
Reachability - Assignment
Semantics - Budget
Remaining NonIncreasing - Call
Semantics - Capability
Effect - Capability
Policy Invariant - FsWrites
Subset Path Glob - Handler
Ir - Handler
Spec - Invariant
Diagnostic - Invariant
Spec - IrEdge
- IrNode
- Path
Step