module Void: sig .. end
sig
end
Void.t is a logically uninhabited data type.
type t
val absurd : t -> 'a
t -> 'a
Since Void.t values don't exist, it's logically possible to create value of any type