You can search for identifiers within the package.
in-package search v0.2.0
forester.frontend
Analysis.Gph
type t
val succ : t -> Core.addr -> Core.addr list
val pred : t -> Core.addr -> Core.addr list