Module Abstract

module Abstract: sig .. end

Internal modules contains a structure value that describes the internal structure of the abstraction. This structure is used to automatically generate efficient accessors from a generic compound abstraction to specific leaf abstractions.

External modules export direct accessors to their leaf components. When a generic abstraction is a product of several specific abstractions, they allow interacting with each leaf abstraction identified by a key. Note that their behavior is undefined if an abstraction contains several times the same leaf module.

module type Interface = sig .. end

module Value: sig .. end

module Location: sig .. end

module Domain: sig .. end