You can search for identifiers within the package.
in-package search v0.2.0
module S = SETr_Symbolic_Logic
module Make (D : SETr_Symbolic_Interface.S) : SETr_Symbolic_Interface.S