You can search for identifiers within the package.
in-package search v0.2.0
electrod.libelectrod
Libelectrod.Gen_goal_recursor
Implements a recursor over generic goals (necessary for conversion to LTL).
class virtual +'a recursor : object ... end