let
neg x =
match
x
with
|
Value
v
->
inject (
Int
.neg v)
|
Top
|
Bottom
->
x