Function programinduction::trs::parser::parse_context

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

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