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.