You can search for identifiers within the package.
in-package search v0.2.0
micromega_plugin
Micromega_plugin.Mfourier
module IMap : CSig.MapS with type key = int
type proof
module Fourier : sig ... end
val pp_proof : Stdlib.out_channel -> proof -> unit
module Proof : sig ... end
exception TimeOut