You can search for identifiers within the package.
in-package search v0.2.0
mirage.devices
Devices.Qubesdb
type qubesdb
val qubesdb : qubesdb Functoria.DSL.typ
val default_qubesdb : qubesdb Functoria.DSL.impl
val pkg : Functoria.DSL.package