Up
–
qed
»
Qed
»
Idxmap
» IndexedKey
Module type
Idxmap.IndexedKey
type
t
val
id :
t
->
int
unique per t