Module cst_convert 

Universal CST converter dispatch (issue #138).

Single entry point that turns host-language source into a .lino CST and back. Mirrors js/src/cst-convert.mjs. Provides:

• parse_to_cst — host source → CST.
• print_from_cst — CST → host source.
• round_trip — convenience helper that asserts byte fidelity.

Supported lang values: "rust", "js" (or "javascript"), "lean", "rocq".

Structs

RoundTripResult

Result of a round-trip check.

Constants

SUPPORTED_LANGUAGES

The four host languages plus the javascript alias.

Functions

parse_to_cst

Parse host-language source into a .lino CST.

print_from_cst

Print a CST node back to host-language source.

round_trip

Verify that print_from_cst(parse_to_cst(src, lang), lang) == src.