|
134 | 134 |
|
135 | 135 | - [Prologue](./part-4-intro.md) |
136 | 136 | - [Generic parameter definitions](./generic_parameters_summary.md) |
137 | | - - [Implementation nuances of early/late bound parameters](./early-late-bound-params/early-late-bound-implementation-nuances.md) |
138 | | - - [Interactions with turbofishing](./early-late-bound-params/turbofishing-and-early-late-bound.md) |
| 137 | + - [`EarlyBinder` and instantiating parameters](./ty_module/early_binder.md) |
| 138 | +- [Binders and Higher ranked regions](./ty_module/binders.md) |
| 139 | + - [Instantiating binders](./ty_module/instantiating_binders.md) |
| 140 | +- [Early vs Late bound parameters](./early_late_parameters.md) |
139 | 141 | - [The `ty` module: representing types](./ty.md) |
140 | 142 | - [ADTs and Generic Arguments](./ty_module/generic_arguments.md) |
141 | 143 | - [Parameter types/consts/regions](./ty_module/param_ty_const_regions.md) |
142 | | - - [`EarlyBinder` and instantiating parameters](./ty_module/early_binder.md) |
143 | | - - [`Binder` and Higher ranked regions](./ty_module/binders.md) |
144 | | - - [Instantiating binders](./ty_module/instantiating_binders.md) |
145 | 144 | - [`TypeFolder` and `TypeFoldable`](./ty-fold.md) |
146 | 145 | - [Parameter Environments](./param_env/param_env_summary.md) |
147 | 146 | - [What is it?](./param_env/param_env_what_is_it.md) |
|
0 commit comments