Module surface

Modules

• visit

Structs

• AliasReft
  <qself as path>::name
• BaseTy
• ConstArg
• EnumDef
• Expr
• ExprPath
  A Path but for refinement expressions
• ExprPathSegment
• FieldExpr
• FnOutput
• FnSig
• FnSpec
• GenericArg
• GenericParam
• Generics
• Impl
• ImplAssocReft
• Indices
• NodeId
  A NodeId is a unique identifier we assign to some AST nodes to be able to attach information to them. For example, to assign a resolution to a Path. The NodeId is unique within a crate.
• Path
• PathSegment
• Punctuated
  A punctuated sequence of values of type T separated by punctuation of type P
• QualNames
• Qualifier
• RefineParam
• Requires
• SortDecl
• SortPath
  A Path but for sorts.
• SpecFunc
  A global function definition. It can be either an uninterpreted function or a syntactic abstraction, i.e., a function with a body.
• Spread
• StructDef
• Trait
• TraitAssocReft
• TraitRef
• Ty
• TyAlias
• VariantDef
• VariantRet
• WhereBoundPredicate
• Ident
• Lit
  A literal token.

Enums

• Async
• BaseSort
• BaseTyKind
• BinOp
• BindKind
• ConstArgKind
• ConstructorArgs
• Ensures
• ExprKind
• FnInput
• FnRetTy
• GenericArgKind
• GenericParamKind
• Item
• ParamMode
• RefineArg
• Sort
• TyKind
• UnOp
• LitKind
• Mutability

Type Aliases

• GenericBounds
• RefineParams