You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
SpecBase.WrapperArgs
val wrappers : unit -> string list
val is_wrapped : LibraryDesc.special -> bool