Module Region.Map

module Map: Qed.Idxmap.S  with type key = region