Function programinduction::trs::parser::parse_rule

source · 
pub fn parse_rule(
    input: &str,
    lex: &mut Lexicon,
    ctx: &mut Context
) -> Result<Rule, ParseError>
Expand description

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