Previous
Up
Next
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