Up
–
coq
»
Declare
» Internal
Module
Declare.Internal
module
Constant
:
sig
...
end
val
objVariable :
unit
Libobject.Dyn.tag