programinduction::trs::parser

Function 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.