module Abstract_value: sig
.. end
Abstract numeric values of the analysis.
type 'v
truth = [ `False | `True | `TrueReduced of 'v | `Unknown of 'v | `Unreachable ]
Type for the truth value of an assertion in a value abstraction. The two
last tags should be used only for a product of value abstractions.
type
bound_kind = Alarms.bound_kind
=
| |
Lower_bound |
| |
Upper_bound |
type
bound =
type
pointer_comparison =
| |
Equality |
| |
Relation |
| |
Subtraction |
module type S = sig
.. end
Signature of abstract numerical values.
type 'v
key = 'v Structure.Key_Value.key
module type Leaf = sig
.. end
Signature for a leaf module of abstract values.