Previous
Up
Next
Module
Lang.F.Pmap
module
Pmap
:
Qed.Idxmap.S
with type key = pred