You can search for identifiers within the package.
in-package search v0.2.0
micromega_plugin
Micromega_plugin.NumCompat
module type ZArith = sig ... end
module type QArith = sig ... end
module Z : ZArith
module Q : QArith with module Z = Z