You can search for identifiers within the package.
in-package search v0.2.0
These modules should not be used. They are exposed purely for testing purposes.
module IO : Index.IO
module Make (K : Index.Key) (V : Index.Value) : Index.Private.S with type key = K.t and type value = V.t