Module type Evaluation.Value

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.