Up
–
coq-core
»
Vcs
» Kind
Module type
Vcs.Kind
type
'a t
val
master :
'a
t