containers
Containers.MapExt
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
core
cpython
domain
engines
framework
heap
hooks
interactive
intervals
itvUtils
lang
lattices
mopsa
mopsa.c_stubs_parser
mopsa.mopsa_analyzer
mopsa.mopsa_analzyer
mopsa.mopsa_build_db
mopsa.mopsa_c_parser
mopsa.mopsa_c_stubs_parser
mopsa.mopsa_py_parser
mopsa.mopsa_universal_parser
mopsa.mopsa_utils
numeric_common
numeric_reductions
numeric_values
output
params
parsing
passes
powersets
python
python_lang
reduction
relational
repl
sig
stubs
toplevel
universal
universal_interproc
universal_iterators
universal_numeric
utils_core
value
module Make (Ord : MapExtSig.OrderedType) : MapExtSig.S with type key = Ord.t
Generic functor to build a map data-type from ordered keys to an arbitrary type.
val printer_default : MapExtSig.map_printer
Print as key1:val1;key2:val2;...
key1:val1;key2:val2;...
module StringMap : MapExtSig.S with type key = string
module IntMap : MapExtSig.S with type key = int
module Int32Map : MapExtSig.S with type key = int32
module Int64Map : MapExtSig.S with type key = int64
module ZMap : MapExtSig.S with type key = Z.t
A few useful map instances.