let
zip (_,omega) =
D
.close omega.bindings omega.property