Module programinduction::trs::parser
source · Structs
- The error type for parsing operations.
Functions
- Given a
Lexicon
, parse and typecheck aContext
. The format of theContext
is as given interm_rewriting
. - Given a
Lexicon
, parse and typecheck aRuleContext
. The format of theRuleContext
is as given interm_rewriting
. - Given a
Lexicon
, parse and typecheck a list ofRuleContext
s (e.g.templates
inparse_lexicon
). The format of aRuleContext
is as given interm_rewriting
.