module Abstract: sig
.. end
Internal and External signature of abstractions used in the Eva engine.
External interface of an abstraction, built by Structure.Open
.
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
Key and structure for abstract values.
module Location: sig
.. end
Key and structure for abstract locations.
module Domain: sig
.. end
Key and structure for abstract domains.