Function term_rewriting::parse_rulecontext

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

Parse a string as a RuleContext.