You can search for identifiers within the package.
in-package search v0.2.0
type t
The type of identifiers
type namespace
Namespace for identifiers
val sort : namespace
val term : namespace
val attr : namespace
The namespace for sorts (also called typee), terms and attributes, respectively.
val mk : namespace -> string -> t
Make an identifier from a name and namespace.
val indexed : namespace -> string -> string list -> t
Create an indexed identifier.