term_rewriting
pub fn parse_rule(sig: &mut Signature, input: &str) -> Result<Rule, ParseError>
Similar to parse, but produces only a Rule.
parse
Rule