Up
–
Index
»
rocq-runtime
»
Vcs
»
Make
» K
Parameter
Make.K
type
'a t
val
master :
'a
t