Data.Unit

Definitions

unitIrrelevant : x = y

Totality: total
Visibility: export