You can search for identifiers within the package.
in-package search v0.2.0
goblint.common
MyCheck.Shrink
val sequence : 'a QCheck.Shrink.t list -> 'a list -> 'a list QCheck.Iter.t