Module Indexing.Empty

Empty contains a type-level name for the empty set.

type n
val n : n cardinal