You can search for identifiers within the package.
in-package search v0.2.0
libzipperposition.calculi
Booleans.Make
module E : Libzipperposition.Env.S
module Env = E
module C : module type of Env.C
val setup : unit -> unit
Register rules in the environment