Module cst_lean 

Lean 4 ↔ .lino CST converter (issue #138).

Token-level lossless converter for Lean 4 source. Produces a lino-cst.lean.* flat CST whose round-trip is byte-faithful: print_lean(&parse_lean(src)) == src. Mirrors js/src/cst-lean.mjs line for line.

Functions

parse_lean

Parse Lean 4 source into a lino-cst.lean.* CST.

print_lean

Print a Lean CST back to source.