Index of modules

The aim here is to select the statements where a data D has the same value then a given starting program point L.

Find the statements that defines a given data at a program point, ie.

Interface for the Scope plugin.

Type-safe strings representing normalized filepaths.

Datatype for the keys of the hashtbl.

Datatype for the keys of the map.

Create a datatype for a monomorphic instance of the polymorphic type.

Build a datatype of the hashtbl according to the datatype of values in the hashtbl.

Build a datatype of the map according to the datatype of values in the map.

Generic datatype builder.

Generic comparable datatype builder: functions equal, compare and hash must not be Datatype.undefined.

Functor for polymorphic types with only 1 type variable.

Functor for polymorphic types with 2 type variables.

Functor for polymorphic types with 3 type variables.

Functor for polymorphic types with 4 type variables.

for internal use

Same as Datatype.Undefined, but the type is supposed to be marshallable by the standard OCaml way (in particular, no hash-consing or projects inside the type).

Each values in these modules are undefined.

Add sets, maps and hashtables modules to an existing datatype, provided the equal, compare and hash functions are not Datatype.undefined.