Skip to main content
export_rocq
rml
0.19.0
In rml::
rocq
rml
::
rocq
Function
export_
rocq
Copy item path
Source
pub fn export_rocq( text: &
str
, source_path:
Option
<&
str
>, ) ->
Result
<
String
,
RocqExportError
>