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