You can search for identifiers within the package.
in-package search v0.2.0
val gen_call : Soc.key -> Soc.t -> string list -> string list -> string
val is_call_supported : Soc.key -> bool