Module type Abstractions.Value

module type Value = sig .. end
The external signature of value abstractions, plus the reduction function of the reduced product.

include Abstract.Value.External
val reduce : t -> t