You can search for identifiers within the package.
in-package search v0.2.0
module Base : sig ... end
module Io : sig ... end
JSON-RPC input/output
module JCoq : sig ... end
module JFleche : sig ... end