Module Region.Set

module Set: Qed.Idxset.S  with type elt = region