numeric_reductions
Intervals_congruences.Reduction
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
containers
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_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
val name : string
val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
module I = Numeric_values.Values.Intervals.Integer.Value
module C = Numeric_values.Values.Congruences.Value
val meet_cgr_itv : Mopsa.CongUtils.IntCong.t Mopsa.Bot.with_bot -> Mopsa.CongUtils.IntCong.I.t Mopsa.Bot.with_bot -> Mopsa.CongUtils.IntCong.t Mopsa.Bot.with_bot * I.t
val reduce : 'a Mopsa.Sig.Reduction.Value.value_reduction_man -> 'a -> 'a