You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
MyARG.CFGEdge
type t = MyCFG.edge
val embed : MyCFG.edge -> t
val to_string : t -> string