Module Internal.Constant

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