用 Rust 实现 词项的集合 的项 和 一步规约 的运行规则时， Rust 充当 对象语言与元语言 中的元语言： Rust 的 enum Term enum Term 描述对象语言的项，Rust 的函数描述对象语言的运行． 不要把 Rust 自己的类型（ bool bool 、 Option Option ） 和 类型与类型判断 中的对象语言类型（$\text{Bool}$、$\text{Nat}$）混为一谈， 它们分属两层． 实现示例见 Rust 求值器 与 Rust 类型检查器 ．