Up – Package index » Fix: Memoization and Fixed Points Made Easy » Library fix » Fix » Indexing » Empty

Module `Indexing.Empty`

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

type n

val n : n cardinal