You can search for identifiers within the package.
in-package search v0.2.0
goblint.domain
SetDomain.Elements
Subsignature of S, which is sufficient for Print.
S
Print
type t
type elt
val elements : t -> elt list
val iter : (elt -> unit) -> t -> unit