Module chalk_solve::display::state
source · Expand description
Persistent state passed down between writers.
This is essentially InternalWriterState
and other things supporting that.
Structs§
- Writer state for a single write call, persistent only as long as necessary to write a single item.
- Like a BoundVar, but with the debrujin index inverted so as to create a canonical name we can use anywhere for each bound variable.
- Writer state which persists across multiple writes.