let
data_ty =
Locations
.
Zone
.ty