Expand description
Various utilities for the next-trait-solver.
Structs§
- Bottom
UpFolder - Contains
Type Errors - Discr
- MaxUniverse
- Finds the max universe present
- Placeholder
Replacer - The inverse of [
BoundVarReplacer]: replaces placeholders with the bound vars from which they came.