9.4 环境定义

具体语法中规则使用的环境类型是根据如下的不变式和其它操作来定义。图形化的视图如图9.1所示。环境可以内嵌，从所存在的父环境就可以看出。每个环境有一个命名元素列表，每个指向一个模型元素。