module type Value =sig..end
include Abstract.Value.External
val reduce : t -> tInter-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.