Expand description
This file groups everything which is linked to implementations about crate::types
Structs§
- Current
Item - Dummy item identifier that represents the current item when not ambiguous.
- Item
Binder - A value of type
T
bound by the generic parameters of itemitem
. Used when dealing with multiple items at a time, to ensure we don’t mix up generics. - Subst
Visitor 🔒 - Visitor for the TyVisitable::substitute function. This substitutes variables bound at the level where we start to substitute (level 0).
Traits§
- TyVisitable
- Types that are involved at the type-level and may be substituted around.
- Vars
Visitor - Visitor for type-level variables. Used to visit the variables contained in a value, as seen from the outside of the value. This means that any variable bound inside the value will be skipped, and all the seen De Bruijn indices will count from the outside of the value. The returned value, if any, will be put in place of the variable.