module Val: Abstractions.Value
Abstractions.Value
include Abstract.Value.External
val reduce : t -> t
t -> t