package clarity

  1. Overview
  2. Docs
type t

Void.t is a logically uninhabited data type.

val absurd : t -> 'a

Since Void.t values don't exist, it's logically possible to create value of any type