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