Previous
Up
Next
Module
Wp.Lang.F.Tmap
module
Tmap
:
Qed.Idxmap.S
with type key = term