You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
PerMutexTidCommon.Conf
val exclude_not_started : unit -> bool
val exclude_must_joined : unit -> bool