Structs§
- Annotation
- Axiom
Decl - Coverage
Decl - Coverage
Dim - Enum
Decl - Field
- Function
Decl - Goal
Decl - Import
Decl - Intent
Decl - Param
- Program
- Safety
Decl - Span
- Source span for error reporting.
- Spanned
- A node wrapping a value with its source span.
- Theorem
Decl - Type
Decl - Typed
Var