You can search for identifiers within the package.
in-package search v0.2.0
Theory specific environment
module Saved : sig ... end
Environment should currently be persistent data-structure in order to be backtracked correctly
module Unsaved : sig ... end
These environment are not saved automatically