Up – coq » Declare » Internal » Constant

Module `Internal.Constant`

type t

val tag : t Libobject.Dyn.tag
val kind : t -> Decls.logical_kind