Module Structure.Key_Location

module Key_Location: Shape 

Keys module for the abstract locations of Eva.


include Structure.Key
type 'a structure = 
| Void : 'a0 structure
| Leaf : 'a1 k -> 'a1 structure
| Node : 'a2 structure * 'b structure -> ('a2 * 'b) structure

The gadt, based on keys giving the type of each node. Describes the internal structure of a data type. Used internally to automatically generate efficient accessors of its nodes.