Function programinduction::trs::parser::parse_rulecontext
source · pub fn parse_rulecontext(
input: &str,
lex: &mut Lexicon,
ctx: &mut Context
) -> Result<RuleContext, ParseError>
Expand description
Given a Lexicon
, parse and typecheck a RuleContext
. The format of the
RuleContext
is as given in term_rewriting
.