Up
–
fix
»
Fix
»
Indexing
» Empty
Module
Indexing.Empty
Empty
contains a type-level name for the empty set.
type
n
val
n :
n
cardinal