You can search for identifiers within the package.
in-package search v0.2.0
Documents all declared theories.
module Theory : sig ... end
Theory documentation.
val theories : unit -> Theory.t list
theories () the declared theories.
theories ()