You can search for identifiers within the package.
in-package search v0.2.0
goblint.common
MyCheck.Iter
val of_gen : n:int -> 'a QCheck.Gen.t -> 'a QCheck.Iter.t
val of_arbitrary : n:int -> 'a QCheck.arbitrary -> 'a QCheck.Iter.t