module type Value = sig
.. end
include Abstract_value.External
val reduce : t -> t
Inter-reduction of values. Useful when the value module is a reduced
product of several abstraction.
The value computed by the forward evaluation for each sub-expression or
lvalue is reduced by this function.