You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
Goblint_lib.Vector
module type Vector = sig ... end
High-level abstraction of a vector.
val timing_wrap : 'a -> ('b -> 'c) -> 'b -> 'c