You can search for identifiers within the package.
in-package search v0.2.0
petanque_shell
Protocol_shell.TableOfContents
toc { uri } returns the table of contents for a document; the semantics are quite Coq-specific, in particular, each sentence of the document can contribute
toc { uri }
val method_ : string
module Params : sig ... end
module Response : sig ... end
module Handler : sig ... end