You can search for identifiers within the package.
in-package search v0.2.0
type t
val add_global : Module.t -> string -> Type.t -> bool -> Expression.t -> t
val get_global : Module.t -> string -> t
val remove_global : Module.t -> string -> unit