Up
–
coq-core
»
Vcs
»
Make
» 2-K
Parameter
Make.2-K
type
'a t
val
master :
'a
t