Index of module types

Signature shared by some functors of module Abstract_interp.

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.

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.

Simple dataflow analysis

Input domain for a simple dataflow analysis.

Edge-based forward dataflow.

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

signature for normalized pathnames.

Interface to provide for a backward dataflow analysis.

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

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.

Output signature of Hashcons below.

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 inputs and outputs computations.

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 for collections of custom datatype

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.

Complete semi-bounded lattice with over- and under-approximation, intersection and difference.

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

Complete lattice as above, plus a notion of cardinality on the values.

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.

A lattice structure on top of maps from keys to values and sets of keys.

A notion of cardinality for mapset lattice.

A map with a complete lattice structure.

A notion of cardinality for maps with a complete lattice structure.

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

Signature of a State Dependency Graph.

Output signature of State_builder.Register.

Output signature for services.

Provided plug-general services for plug-ins.

Generic signature of a parameter.

Output signature of the functor Set.Make.

Signature for hptmaps from hash-consed trees to values.

Output signature.

All values associated to a datatype.

Subset of the OCaml Set.S signature.

All values associated to a datatype, excepted copy.

Special signature for Kernel services, whose messages are handled in an ad'hoc manner.

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.

Auxiliary module for datatypes that can be pretty-printed.

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.

This module type contains only functions that do not create or modify maps.

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.