Expand description
The Lean backend
This module defines the trait implementations to export the rust ast to Pretty::Doc type, which can in turn be exported to string (or, eventually, source maps).
Structsยง
- Lean
Backend - The Lean backend
- Lean
Printer - The Lean printer