Module Names.GlobRef

type t =
| VarRef of variable

A reference to the section-context.

| ConstRef of Constant.t

A reference to the environment.

| IndRef of inductive

A reference to an inductive type.

| ConstructRef of constructor

A reference to a constructor of an inductive type.

val equal : t -> t -> bool
module Ordered : sig ... end
module Ordered_env : sig ... end
module Set_env : CSig.SetS with type elt = t
module Map_env : Util.Map.ExtS with type key = t and module Set := Set_env
module Set : CSig.SetS with type elt = t
module Map : Util.Map.ExtS with type key = t and module Set := Set