You can search for identifiers within the package.
in-package search v0.2.0
alba.core
Alba_core.Name_map
type t
val count : t -> int
val has_locals : t -> bool
val find : string -> t -> int list
val empty : t
val add_unnamed : t -> t
val add_local : string -> t -> t
val add_global_strict : string -> Term.typ -> Gamma.t -> t -> t
val add_global : string -> Term.typ -> Gamma.t -> t -> (t, int) result