一个基于 [nom] 的在标记切片上操作的解析器。

表达式

IMP 定义了两种不同的表达式： 算术 和 布尔。这些已被具体化为 aexp::Aexp 和 bexp::Bexp 枚举，这些枚举定义了显式模拟这些表达式的树状结构。

命令

在 IMP 语法中，一个 命令 对应于程序抽象语法树中的一个节点；这些节点由 cmd::Cmd 枚举来建模。