You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Extract_osek
Extract osek function calls.
module OList = Prelude.Ana.List
module M = Messages
module Spec : sig ... end