module type Shape =sig
..end
A Key module with its structure type.
include Structure.Key
type 'a
structure =
| |
Void : |
| |
Leaf : |
| |
Node : |
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.