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