You can search for identifiers within the package.
in-package search v0.2.0
goblint.lib
PairwiseMap.C
type elt = E.t
Type of elements.
val cong : elt -> elt -> bool
Congruence relation on elements.