Module Structure

module Structure: sig .. end

Gadt describing the structure of a tree of different data types, and providing fast accessors of its nodes. The leafs must provide a key from a Key module, see key.mli for details.

type ('_, '_) eq =

`\|`	`Eq : ('a, 'a) eq`

Equality witness between types.

module type Key = sig .. end

Keys identifying datatypes.

module Make: functor (* : sig

end) -> Key

module Key_Value: Key

Keys module for the abstract values of Eva.

module Key_Location: Key

Keys module for the abstract locations of Eva.

module Key_Domain: Key

Keys module for the abstract domains of Eva.

module type Shape = sig .. end

A Key module with its structure type.

module Shape: functor (Key : Key) -> functor (Data : sig

type 'a t

end) -> Shape  with type 'a key = 'a Key.key
         and type 'a data = 'a Data.t

module type Internal = sig .. end

Internal view of the tree, with the structure.

module type External = sig .. end

External view of the tree, with accessors.

module Open: functor (Shape : Shape) -> functor (Data : Internal  with type 'a structure := 'a Shape.structure) -> External  with type t := Data.t
              and type 'a key := 'a Shape.key

Opens an internal tree module into an external one.