Module chalk_solve::display::state

Persistent state passed down between writers.

This is essentially InternalWriterState and other things supporting that.

Structs

• IdAliasStore
• IdAliases 🔒
• InternalWriterState 🔒
  Writer state for a single write call, persistent only as long as necessary to write a single item.
• 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
  Writer state which persists across multiple writes.

Enums

• UnifiedId 🔒

Type Aliases

• IndexWithinBinding 🔒