You can search for identifiers within the package.
in-package search v0.2.0
dolmen.class
Dolmen_class
module Logic : sig ... end
Logic languages for formal proofs
module Response : sig ... end
Response languages for formal proofs