Module Abstractions.S.Val

module Val: Abstractions.Value 

include Abstract_value.External
val reduce : t -> t