Function programinduction::trs::parser::parse_templates

pub fn parse_templates(
    input: &str,
    lex: &mut Lexicon
) -> Result<Vec<RuleContext>, ParseError>

Given a Lexicon, parse and typecheck a list of RuleContexts (e.g. templates in parse_lexicon). The format of a RuleContext is as given in term_rewriting.