Module type Indexing.CARDINAL

type n
val n : n cardinal