pub fn parse_command(input: &str) -> Result<Command, ParseError>Expand description
Parse a command from input string.
This function acts as a dispatcher, routing Literate syntax to the literate_parser module and Coq-style syntax to the existing parsers.