You can search for identifiers within the package.
in-package search v0.2.0
codex.operator
Operator.MakeId
Generative functor to create unique ids.
type t = private int
val fresh : unit -> t