[−][src]Module chalk_solve::display
Structs
DefIdAliases | |
DisplayRenderAsRust | Displays |
InvertedBoundVar | Like a BoundVar, but with the debrujin index inverted so as to create a canonical name we can use anywhere for each bound variable. |
WriterState |
Traits
RenderAsRust |
Functions
sanitize_debug_name | Processes a name given by an |
write_items | Writes out each item recorded by a |
write_stub_items | Writes stubs for items which were referenced by name, but for which we didn't directly access. For instance, traits mentioned in where bounds which are only usually checked during well-formedness, when we weren't recording well-formedness. |