You can search for identifiers within the package.
in-package search v0.2.0
module M : Monads.Std.Monad.State.S2
type ('a, 'e) state = ('a, 'e) M.t
module Expi : Expi.S with type ('a, 'e) state = ('a, 'e) state
class 'a propagator : object ... end
Propagate taint through expressions.