Up
–
coq-core
»
PolyMap
»
Make
» OneTag
Module type
Make.OneTag
type
a
type
Tag.tag
+=
T
:
a
Tag.tag