Skip to main content
print_lean
rml
0.19.0
In rml::
cst_
lean
rml
::
cst_lean
Function
print_
lean
Copy item path
Source
pub fn print_lean(node: &
CstNode
) ->
String
Expand description
Print a Lean CST back to source.