You can search for identifiers within the package.
in-package search v0.2.0
goblint.parallel
ConcurrentHashmap.D
type t
val default : unit -> t
val show : t -> string