Indexing.Const
Const(struct let cardinal = c end) creates a fresh type-level name for a set whose cardinal is c. c must be nonnegative.
Const(struct let cardinal = c end)
c
module X : sig ... end
type n
val n : n cardinal