You can search for identifiers within the package.
in-package search v0.2.0
goblint.std
GobQCheck.Arbitrary
val int64 : int64 QCheck.arbitrary
val big_int : Z.t QCheck.arbitrary
val sequence : 'a QCheck.arbitrary list -> 'a list QCheck.arbitrary