Skip to main content
lean_ident
rml
0.19.0
In rml::
lean_
export
rml
::
lean_export
Function
lean_
ident
Copy item path
Source
pub fn lean_ident(raw: &
str
) ->
String
Expand description
Convert an RML identifier to a Lean-safe identifier.