You can search for identifiers within the package.
in-package search v0.2.0
catala.verification
Verification.Z3backend
Interfacing with the Z3 SMT solver
module Io : Io.BackendIO