Index of module types

Signature shared by some functors of module Abstract_interp.

Signature required by Graph.GraphViZ.Dot.

Statement-based backward dataflow.

Interface to provide for a backward dataflow analysis.

Interface to provide for a backward dataflow analysis.

Signature for a boolean parameter.

Signatures containing the different functors which may be used to generate new command line options.

Common signature to all collections.

Signature for a category over a collection.

Set of common operations on parameters.

Edge-based forward dataflow.

Environment relative to the function being processed, and function to create them from Kf.

Interface to provide for a backward dataflow analysis.

Interface to provide for a forward dataflow analysis.

Most complete lattices: all operations plus widening, notion of cardinal (including enumeration) and difference.

Lattice with over- and under-approximation of join and meet, and intersection and difference.

Additional info for building Set, Map and Hashtbl.

Minimal graph signature to provide.

Signature for the creation of projectified hashconsing tables..

Output signature of builders of hashtables.

A standard OCaml hashtbl signature extended with datatype operations.

Marshallable collectors with hashtbl-like interface.

Signature common to some Inout plugin options.

Type of the keys of the map.

Additional information required by State_builder.Register.

Minimal signature to implement for each parameter corresponding to an option on the command line argument.

Minimal signature to implement for each parameter corresponding to an option on the command line argument which requires an argument.

Signature for an integer parameter.

Set of defined kernel functions.

Signature for a product lattice in which Bottom is handled especially.

Signatures for a lattice over a set (see Abstract_interp.Make_Lattice_Set or Abstract_interp.Make_Hashconsed_Lattice_Set).

Signature for a lattice over a sum type (see Abstract_interp.Make_Lattice_Sum).

Signature for a product lattice (see Abstract_interp.Make_Lattice_UProduct).

Generic signature for the base elements of a lattice

Signature for lists as command line parameters.

Output signature of ListRef.

Operations on the local state required for registering a new state via State_builder.Register.

Input signature of Datatype.Make and Datatype.Make_with_collections.

Signature for maps as command line parameters.

A standard OCaml map signature extended with datatype operations.

Signature for multiple maps as command line parameters.

Signature of the optional value associated to the key and required to build multiple map parameters.

Output signature of Option_ref.

For a polymorphic type value with one type variable, you must use an implementation of this signature.

Output signature of Datatype.Polymorphic.

Same as Type.Polymorphic for polymorphic types with two type variables.

Output signature of Datatype.Polymorphic2.

See module Type.Polymorphic_input: very same functions with one additional argument corresponding to the second type variable.

Same as Type.Polymorphic for polymorphic types with three type variables.

Output signature of Datatype.Polymorphic3.

See module Type.Polymorphic_input: very same functions with two additional arguments corresponding to the second and third type variables.

Same as Type.Polymorphic for polymorphic types with four type variables.

Output signature of Datatype.Polymorphic4.

See module Type.Polymorphic_input: very same functions with three additional arguments corresponding to the additional type variables.

Auxiliary module type for a pretty-printer

Signature for extending an existing pretty-printer.

Output signature of Ref.

Signature of a module that decides which element of a function have to be visible or not

Operations over selections which depend on a State Dependency Graph implementation.

Signature of a State Dependency Graph.

Output signature of State_builder.Register.

Output signature for services.

Generic signature of a parameter.

Output signature of the functor Set.Make.

Signature for hptmaps from hash-consed trees to values

Output signature.

Output signature of the functor FCSet.Make.

All values associated to a datatype.

Standard operations on sets.

All values associated to a datatype, excepted copy.

Generic signature of a parameter, without parameter.

hook with a notion of priority.

A datatype for a type t extended with predefined set, map and hashtbl over t.

Signature for sets as command line parameters.

A standard OCaml set signature extended with datatype operations.

Output signature of builders of references on a set.

signature for searching files in a specific directory.

Signature for a string parameter.

Signature required to build custom collection parameters in which elements are convertible to string.

Signature requires to build custom collection parameters in which elements are convertible to string.

A type with its type value.

Sub-signature of Datatype.S.

Values stored in the map

Datatype with a function that approximately equality in a constant-time way.

Signature of the optional value associated to the key and required to build map parameters.

Output signature of builders of hashtables.

Signature for a boolean parameter that causes something to be output.