pub fn export_lean(text: &str, file: Option<&str>) -> LeanExportResultExpand description
Export the supported typed RML fragment to Lean 4 source.
pub fn export_lean(text: &str, file: Option<&str>) -> LeanExportResultExport the supported typed RML fragment to Lean 4 source.