You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
MyARG.IsInteresting
type node
type edge
val is_interesting : node -> edge -> node -> bool