Previous
Up
Module
Region.Set
module
Set:
Qed.Idxset.S
with type elt = region