You can search for identifiers within the package.
in-package search v0.2.0
Runtime type
type _ t =
| Unit : unit t
| Num : Num.t t
| Int : int t
| Float : float t
| String : string t
| Bool : bool t
| Arrow : 'a t * 'b t -> ('a -> 'b) t
val unit : unit t
val num : Num.t t
val int : int t
val bool : bool t
val float : float t
val string : string t
val arrow : 'a t -> 'b t -> ('a -> 'b) t
type (_, _) eq =
| Refl : ('a, 'a) eq
val equal : 'a t -> 'b t -> ('a, 'b) eq option