let
dzone_assigned z =
M
.dzone_assigned (massigned z)