module Make: functor (
X
:
sig
end
) ->
Shape
include Structure.Key
type 'a
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.