Module Abstractions.S.Val

module Val: Abstractions.Value 

include Abstract.Value.External
val reduce : t -> t