let reprs =
List.fold_left
(fun acc m ->
List.fold_left
(fun acc o ->
List.fold_left
(fun acc z -> (m, (Some o, m), z, z) :: acc)
acc
Locations.Zone.reprs)
acc
V_Offsetmap.reprs)
[]
Relations_type.Model.reprs