Index of module types


A
Arithmetic_Value [Abstract_interp]
Attributes [State_dependency_graph]
Signature required by Graph.GraphViZ.Dot.

B
BOOL [Plugin]
Signature for a boolean parameter.
BackwardsTransfer [Dataflow]

C
COMPLEX_VALUE [Plugin]
input signature for IndexedVal
COMPLEX_VALUE [Kernel]
Cacheable [Binary_cache]
Collapse [Abstract_interp]
Common [Parameters.Dynamic]
Set of common operations on parameters.

D
DATA [Qstack]
Dashtbl [State_builder]
Output signature of dashtables.
Data [Dashtbl]

F
ForwardsTransfer [Dataflow]
Functor_info [Datatype]
Additional info for building Set, Map and Hashtbl.

G
G [State_topological]
Minimal graph signature to provide.
G [State_dependency_graph]
Sub-signature of Graph.Sig.G
GEN_STRING_SET [Plugin]
Signature for a generic set of strings option.
General_services [Plugin]
Graph [Dashtbl]

H
HashedType [Hashtbl]
The input signature of the functor Hashtbl.Make.
Hashtbl [State_builder]
Output signature of builders of hashtables.
Hashtbl [Datatype]
A standard OCaml hashtbl signature extended with datatype operations.
Heterogeneous_table [Type]

I
INDEXED_VAL [Plugin]
option interface
INOUT [Db]
Signature common to inputs and outputs computations.
INT [Plugin]
Signature for an integer parameter.
Id_Datatype [Hptset]
Input signature of the functor Set.Make.
Info [State_builder]
Additional information required by State_builder.Register.
Info_with_size [State_builder]
Iter_hook [Hook]

K
Key [Dashtbl]
Key [Abstract_interp]

L
Lattice [Abstract_interp]
Generic lattice.
Lattice_Base [Abstract_interp]
Lattice_Product [Abstract_interp]
Lattice_Set [Abstract_interp]
Lattice_Sum [Abstract_interp]
Lattice_With_Diff [Abstract_interp]
Lattice_with_rehash [Map_Lattice]
List_ref [State_builder]
Output signature of ListRef.
Local [State]
Operations on the local state required for registering a new state via State_builder.Register.
Location_map [Lmap]
Location_map_bitwise [Lmap_bitwise]

M
Make_input [Datatype]
Map [Datatype]
A standard OCaml map signature extended with datatype operations.
Mapl [Cilutil]
Messages [Log]
Model_S [Relations_type]

O
OldDynlink [Dynlink_common_interface]
Option_ref [State_builder]
Output signature of OptionRef.

P
Parameter [Plugin]
Generic outputs signatures of parameters.
Parameter_input [Plugin]
Minimal signature to implement for each parameter corresponding to an option on the command line argument.
Parameter_input [Kernel]
Parameter_input_with_arg [Plugin]
Minimal signature to implement for each parameter corresponding to an option on the command line argument which requires an argument.
Parameter_input_with_arg [Kernel]
Polymorphic [Type]
For a polymorphic type value with one type variable, you must use an implementation of this signature.
Polymorphic [Datatype]
Output signature of Datatype.Polymorphic.
Polymorphic2 [Type]
Same as Type.Polymorphic for polymorphic types with two type variables.
Polymorphic2 [Datatype]
Output signature of Datatype.Polymorphic2.
Polymorphic2_input [Type]
See module Type.Polymorphic_input: very same functions with one additional argument corresponding to the second type variable.
Polymorphic_input [Type]

Q
Queue [State_builder]

R
Ref [State_builder]
Output signature of Ref.
Result [Binary_cache]

S
S [State_selection]
Operations over selections which depend on a State Dependency Graph implementation.
S [State_dependency_graph]
Signature of a State Dependency Graph.
S [State_builder]
Output signature of State_builder.Register.
S [SetWithNearest]
Output signature of the functor SetWithNearest.Make.
S [Rangemap]
S [Plugin]
S [Offsetmap]
S [Hptset]
Output signature of the functor Set.Make.
S [Hook]
Output signature.
S [Datatype]
All values associated to a datatype.
S [Dashtbl]
Signature of a dashtbl.
S [Buckx]
S [Hashtbl]
The output signature of the functor Hashtbl.Make.
STRING [Plugin]
Signature for a string parameter.
STRING_HASHTBL [Plugin]
STRING_LIST [Plugin]
STRING_SET [Plugin]
S_no_copy [Datatype]
All values associated to a datatype, excepted copy.
S_with_collections [Datatype]
A datatype for a type t extended with predefined set, map and hashtbl over t.
Set [Datatype]
A standard OCaml set signature extended with datatype operations.
Set_ref [State_builder]
Output signature of builders of references on a set.
StmtStartData [Dataflow]
Sub_caml_weak_hashtbl [Datatype]

T
T_RemoveInfo [Filter]
Signature of a module that decides which element of a function have to be visible or not
Tagged_type [Hptmap]
Ty [Datatype]
A type with its type value.

U
Undefined [Datatype]
Sub-signature of Datatype.S.

V
Value [Abstract_interp]

W
WeakHashable [Buckx]
Weak_hashtbl [State_builder]
Output signature of builders of hashtables.
With_default [Lmap_bitwise]