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.