Function programinduction::trs::parser::parse_rulecontext

pub fn parse_rulecontext(
    input: &str,
    lex: &mut Lexicon,
    ctx: &mut Context
) -> Result<RuleContext, ParseError>

Given a Lexicon, parse and typecheck a RuleContext. The format of the RuleContext is as given in term_rewriting.