let
add v d =
match
d
with
|
Top
->
Top
|
Value
d
->
Value
(
Stmt
.
Set
.add v d)