Module type Abstractions.Value

module type Value = sig .. end

include Abstract_value.External
val reduce : t -> t