You can search for identifiers within the package.
in-package search v0.2.0
type elt = identifier
type t = Id.Pred.t
val empty : t
val full : t
val is_empty : t -> bool
val is_full : t -> bool
val mem : elt -> t -> bool
val singleton : elt -> t
val add : elt -> t -> t
val remove : elt -> t -> t
val union : t -> t -> t
val inter : t -> t -> t
val diff : t -> t -> t
val complement : t -> t
val equal : t -> t -> bool
val subset : t -> t -> bool
val elements : t -> bool * elt list