You can search for identifiers within the package.
in-package search v0.2.0
type 'a point
type 'a link
val fresh : 'a -> 'a point
val find : 'a point -> 'a
val union : 'a link TRef.transaction -> ('a -> 'a -> 'a) -> 'a point -> 'a point -> unit
val equivalent : 'a point -> 'a point -> bool
val is_representative : 'a point -> bool