Skip to main content

parse_lean

rml::cst_lean

Function parse_lean 

Source 
pub fn parse_lean(src: &str) -> CstNode
Expand description

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