You can search for identifiers within the package.
in-package search v0.2.0
goblint.common
CilType.Std
include module type of struct include Printable.StdLeaf end
include module type of struct include Printable.Std end
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val relift : 'a -> 'a