|
|
|---|
|
|
|
|---|
Fixtype of dynamic environments for struct types.
A dynamic environment for struct types is a finite map from identifiers to dynamic information for struct types. Each pair in the map corresponds to a struct type: the key is the name and the value is the information.