You can search for identifiers within the package.
in-package search v0.2.0
logical
Logical.Value
val int : int -> Type.t
val float : float -> Type.t
val str : string -> Type.t
val bool : bool -> Type.t
val var : Type.variable_name -> Type.t
val to_string : Type.t -> string