Module Indexing.Empty

type n
val n : n cardinal