Env = ^ Binding;

     Binding = record id :alfa; index :integer; v:tree; next:Env end;

{\fB Environment Type. \fP}