You can search for identifiers within the package.
in-package search v0.2.0
val message : Wcs_lib.Wcs_t.credential -> string -> Wcs_lib.Wcs_t.message_request -> Wcs_lib.Wcs_t.message_response