Modules§
Structs§
- BaseTy
- Const
Arg - Constant
Info - Detached
Inherent Impl - Detached
Item - Detached
Specs - Detached
Trait - Detached
Trait Impl - EnumDef
- Expr
- Expr
Path - A
Pathbut for refinement expressions - Expr
Path Segment - Field
Expr - FnOutput
- FnSig
- Generic
Arg - Generic
Param - Generics
- Impl
- Impl
Assoc Reft - Impl
Item Fn - Indices
- Item
- LetDecl
- NodeId
- A
NodeIdis a unique identifier we assign to some AST nodes to be able to attach information to them. For example, to assign a resolution to aPath. TheNodeIdis unique within a crate. - Path
- Path
Segment - Prim
OpProp - A (currently global) primop property; see tests/tests/pos/surface/
- Punctuated
- A punctuated sequence of values of type
Tseparated by punctuation of typeP - Qualifier
- Refine
Param - Requires
- Sort
Decl - Sort
Path - A
Pathbut for sorts. - Spec
Func - A global function definition. It can be either an uninterpreted function or a syntactic abstraction, i.e., a function with a body.
- Spread
- Struct
Def - Trait
- Trait
Assoc Reft - Trait
Item Fn - Trait
Ref - Ty
- TyAlias
- Variant
Def - Variant
Ret - Where
Bound Predicate - Ident
- Lit
- A literal token.
- Span
- A compressed span.
Enums§
- Async
- Attr
- An attribute attaches metadata to an item.
- Base
Sort - Base
TyKind - BinOp
- Bind
Kind - Const
ArgKind - Constructor
Arg - Detached
Item Kind - Ensures
- Expr
Kind - Flux
Item - FnInput
- FnRetTy
- Generic
ArgKind - Ignored
- A boolean-like enum used to mark whether a piece of code is ignored.
- Item
Kind - Param
Mode - Quant
Kind - Refine
Arg - Sort
- Trusted
- A boolean-like enum used to mark whether some code should be trusted.
- TyKind
- UnOp
- LitKind
- Mutability