Module Model.Make.State.M


module M: sig .. end
Map of zone --> status

include struct ... end
val add_binding : t -> Locations.location -> y -> t