You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Analyses.StdV
val is_write_only : 'a -> bool