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