Modules§
- kw 🔒
Structs§
- Angle
Bracketed Generic Arguments - Angle
Bracketed Sort Args - BitVec
Sort - Block
- Ensures
- Exists
Param - Field
- Fields
Named - Fields
Unnamed - Flexible
Item 🔒Type - Generics
- Impl
Item Fn - Impl
Item Reft - Index
Params - Item
Enum - ItemFn
- Item
Impl - ItemMod
- Item
Struct - Item
Trait - Item
Type - Items
- PatIdent
- PatType
- PatType
Predicate - Path
- Path
Segment - Refined
By - Refined
ByParam - Requires
- Signature
- StrgRef
- ToTokens
Rust 🔒 - Trait
Item Fn - Trait
Item Reft - Type
Array - Type
Constraint - Type
Exists - Type
General Exists - Type
Indexed - Type
Param - Type
Reference - Type
Slice - Type
Tuple - Variant
- Variant
Ret
Enums§
- Base
Sort - Base
Type - Constraint
- Fields
- FnArg
- Func
Sort Input - Generic
Argument - Generic
Param - Impl
Item - Item
- Mode 🔒
- Param
Kind - Pat
- Path
Arguments - Return
Type - Sort
- Sort
Arguments - Trait
Item - Type
- Type
Defaultness 🔒 - Where
Clause 🔒Location
Functions§
- data_
enum 🔒 - data_
struct 🔒 - inner 🔒
- opt_
parse_ 🔒where_ clause_ in_ signature - outer 🔒
- parse_
ensures 🔒 - parse_
ident_ 🔒or_ self - parse_
index_ 🔒params - parse_
opt_ 🔒refined_ by - parse_
opt_ 🔒variant_ ret - parse_
requires 🔒 - parse_
rty 🔒 - parse_
trait_ 🔒item_ type - parse_
until 🔒 - parse_
where_ 🔒clause_ in_ signature - peek_
signature 🔒