You can search for identifiers within the package.
in-package search v0.2.0
module BitVec : sig ... end
module DFA : sig ... end
module DemarauNFA : sig ... end
module NFA : sig ... end