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