Function term_rewriting::parse_rule

pub fn parse_rule(sig: &mut Signature, input: &str) -> Result<Rule, ParseError>

Parse a string as a Rule.