Up
–
rocq-runtime
»
Vcs
» Kind
Module type
Vcs.Kind
type
'a t
val
master :
'a
t