You can search for identifiers within the package.
in-package search v0.2.0
libzipperposition.induction
Libzipperposition_induction.Make
module E : Libzipperposition.Env.S
module A : AVATAR with module E = E
module Env = E
val register : unit -> unit
Register the inference rules for inductive reasoning