You can search for identifiers within the package.
in-package search v0.2.0
goblint.timing
Make.Name
val name : string
Name of timing hierarchy. Used in S.print and TEF track.
S.print