Module cst_rocq 

Rocq ↔ .lino CST converter (issue #138).

Token-level lossless converter for Rocq (formerly Coq) source. Produces a lino-cst.rocq.* flat CST whose round-trip is byte-faithful: print_rocq(&parse_rocq(src)) == src. Mirrors js/src/cst-rocq.mjs line for line.

Functions

parse_rocq

Parse Rocq source into a lino-cst.rocq.* CST.

print_rocq

Print a Rocq CST back to source.