You can search for identifiers within the package.
in-package search v0.2.0
libzipperposition.calculi
Qle.Make
module E : Libzipperposition.Env.S
module Env = E
val setup : unit -> unit