catlog::tt

Module text_elab

Source
Expand description

Elaboration for doublett

Structs§

TopElaborator
Context for top-level elaboration

Enums§

TopElabResult
The result of elaborating a top-level statement.