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