module type Value = sig .. end
sig
end
The external signature of value abstractions, plus the reduction function of the reduced product.
include Abstract.Value.External
val reduce : t -> t
t -> t