Previous
Up
Next
Module
Region.Map
module
Map:
Qed.Idxmap.S
with type key = region