Index of modules

for internal use

This function is similar to , except that it receives a zone as argument, instead of an l-value

Interface for the Scope plugin.

kf_opt is used if we want to ask the lval to the user in a popup

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

Scope analysis.

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.