You can search for identifiers within the package.
in-package search v0.2.0
val forall : ?select:('a list -> 'a * 'a list) -> ('a -> t) -> 'a list -> t
val exists : ?select:('a list -> 'a * 'a list) -> ('a -> t) -> 'a list -> t
val member : Var.Fd.t -> int list -> t
val labeling : Var.Fd.t list -> t