You can search for identifiers within the package.
in-package search v0.2.0
module Make (D : Qubes.S.DB) (Ethernet : Ethernet.S) (Arp : Arp.S) : sig ... end