You can search for identifiers within the package.
in-package search v0.2.0
Void.t is the type of an object which cannot exist.
Void.t
type t
Type of a nonexisting object.
val absurd : t -> 'a
absurd n Return an object of any type.
absurd n
This function is possible, because there never can be an object n of type t.
n
t