Functor Structure.Make

module Make: functor (X : sig
end) -> Shape

Parameters:

X : sig end

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.