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