Module Abstract

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
External interface of an abstraction, built by Structure.Open.
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.