let
dzone_assigned m z =
M
.dzone_assigned m.mem (massigned z)