Up – coq-core » Declare » Internal

Module `Declare.Internal`

module Constant : sig ... end

val objVariable : Names.Id.t Libobject.Dyn.tag