You can search for identifiers within the package.
in-package search v0.2.0
type t =
| Proposition
| Any of int
val is_sub : t -> t -> bool
is_sub s1 s2 Is s1 a subtype of s2 (or equal)?
is_sub s1 s2
s1
s2
val is_super : t -> t -> bool
is_super s1 s2 Is s1 a supertype of s2 (or equal)?
is_super s1 s2
val type_of : t -> t
val pi_sort : t -> t -> t