You can search for identifiers within the package.
in-package search v0.2.0
module type Elt = sig ... end
module type S = sig ... end
type ('a, 'b) t = (module S with type t = 'b and type Elt.t = 'a)
type packed =
| P : (_, _) t -> packed