You can search for identifiers within the package.
in-package search v0.2.0
type tag = int
val join_tags : (tag * int) list -> tag
module type S = sig ... end
val make : (module S with type input = 'a) -> 'a t