Skip to main content

format_parse_result

lemma::formatting

Function format_parse_result 

Source 
pub fn format_parse_result(result: &ParseResult) -> String
Expand description

Format a ParseResult (repository groups + specs) into canonical Lemma source.