A [nom]-based parser operating on token slices.

Expressions

IMP defines two distinct kinds of expressions: arithmetic and boolean. These have been reified into the [aexp::Aexp] and [bexp::Bexp] enums, which define tree-like structures that explicitly model these expressions.

Commands

In the IMP grammar, a command corresponds to a node in a program's abstract syntax tree; these nodes are modelled by the [cmd::Cmd] enum.