You can search for identifiers within the package.
in-package search v0.2.0
electrod.libelectrod
Libelectrod.Scripts
val nuXmv_default_script : string
val nuSMV_default_script : string
val nuXmv_default_bmc_script : string
val nuSMV_default_bmc_script : string