You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
NH.Infix
val (-->) : 'a t -> key -> 'a
val (<--) : 'a t -> (key * 'a) -> unit