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