Up
Index of modules
A
Array
[
Datatype
]
Array_with_collections
[
Datatype
]
B
Bool
[
Datatype
]
C
Caml_weak_hashtbl
[
Datatype
]
Char
[
Datatype
]
D
D
[
Dpds_gui.Make_StmtMapState
]
DataScope
[
Dpds_gui
]
Datascope
Registration of
Scope
plugin.
Datatype
[
Datatype.Caml_weak_hashtbl
]
Defs
Computations of Def points.
DpdsState
[
Dpds_gui
]
Dpds_gui
kf_opt
is used if we want to ask the lval to the user in a popup
F
Float
[
Datatype
]
Formatter
[
Datatype
]
Function
[
Datatype
]
H
Hashtbl
[
Datatype
]
Hashtbl
[
Datatype.S_with_collections
]
I
Int
[
Datatype
]
Int32
[
Datatype
]
Int64
[
Datatype
]
Integer
[
Datatype
]
K
Key
[
Datatype.Hashtbl
]
Datatype for the keys of the hashtbl.
Key
[
Datatype.Map
]
Datatype for the keys of the map.
Kf_containing_highlighted_stmt
[
Dpds_gui
]
L
List
[
Datatype
]
List_with_collections
[
Datatype
]
M
Make
[
Datatype.Polymorphic4
]
Make
[
Datatype.Polymorphic3
]
Make
[
Datatype.Polymorphic2
]
Make
[
Datatype.Polymorphic
]
Create a datatype for a monomorphic instance of the polymorphic type.
Make
[
Datatype.Hashtbl
]
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.
Make
[
Datatype.Map
]
Build a datatype of the map according to the datatype of values in the map.
Make
[
Datatype
]
Generic datatype builder.
Make_StmtMapState
[
Dpds_gui
]
Make_StmtSetState
[
Dpds_gui
]
Make_with_collections
[
Datatype
]
Generic comparable datatype builder: functions
equal
,
compare
and
hash
must not be
Datatype
.undefined
.
Map
[
Datatype
]
Map
[
Datatype.S_with_collections
]
N
Nativeint
[
Datatype
]
O
Option
[
Datatype
]
Option_with_collections
[
Datatype
]
P
Pair
[
Datatype
]
Pair_with_collections
[
Datatype
]
Poly_array
[
Datatype
]
Poly_list
[
Datatype
]
Poly_option
[
Datatype
]
Poly_pair
[
Datatype
]
Poly_queue
[
Datatype
]
Poly_ref
[
Datatype
]
Polymorphic
[
Datatype
]
Functor for polymorphic types with only 1 type variable.
Polymorphic2
[
Datatype
]
Functor for polymorphic types with 2 type variables.
Polymorphic3
[
Datatype
]
Functor for polymorphic types with 3 type variables.
Polymorphic4
[
Datatype
]
Functor for polymorphic types with 4 type variables.
Pscope
[
Dpds_gui.Pscope
]
Pscope
[
Dpds_gui
]
Pscope_warn
[
Dpds_gui.Pscope
]
Q
Quadruple
[
Datatype
]
Quadruple_with_collections
[
Datatype
]
Queue
[
Datatype
]
R
R
[
Datascope
]
Ref
[
Datatype
]
S
Scope
Scope analysis.
Serializable_undefined
[
Datatype
]
Same as
Datatype
.
Undefined
, but the type is supposed to be marshalable by the standard OCaml way (in particular, no hash-consing or projects inside the type).
Set
[
Datatype
]
Set
[
Datatype.S_with_collections
]
ShowDef
[
Dpds_gui
]
String
[
Datatype
]
T
Triple
[
Datatype
]
Triple_with_collections
[
Datatype
]
U
Undefined
[
Datatype
]
Each values in these modules are undefined.
Unit
[
Datatype
]
W
Weak
[
Datatype
]
With_collections
[
Datatype
]
Add sets, maps and hashtables modules to an existing datatype, provided the
equal
,
compare
and
hash
functions are not
Datatype
.undefined
.
Z
Zones
[
Dpds_gui
]
Zones