You can search for identifiers within the package.
in-package search v0.2.0
type t
val (@:) : string -> Ty.t -> t
val mk_symbol : Ty.t -> string -> t
val equal : t -> t -> Bool.t
val rename : t -> string -> t
val type_of : t -> Ty.t
val to_string : t -> string
val pp : Format.formatter -> t -> unit