Up
–
coq-core
»
PolyMap
» Tag
Module type
PolyMap.Tag
type
_ tag
=
..