Modules§
Structs§
- BaseTy
- Const
Arg - Constant
Info - EnumDef
- Expr
- Expr
Path - A
Pathbut for refinement expressions - Expr
Path Segment - Field
Expr - FnOutput
- FnSig
- FnSpec
- Generic
Arg - Generic
Param - Generics
- Impl
- Impl
Assoc Reft - Indices
- 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 - Punctuated
- A punctuated sequence of values of type
Tseparated by punctuation of typeP - Qual
Names - 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
Ref - Ty
- TyAlias
- Variant
Def - Variant
Ret - Where
Bound Predicate - Ident
- Lit
- A literal token.
- Span
- A compressed span.
Enums§
- Async
- Base
Sort - Base
TyKind - BinOp
- Bind
Kind - Const
ArgKind - Constructor
Arg - Ensures
- Expr
Kind - FnInput
- FnRetTy
- Generic
ArgKind - Generic
Param Kind - Item
- Param
Mode - Quant
Kind - Refine
Arg - Sort
- TyKind
- UnOp
- LitKind
- Mutability