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.