Module 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.

Parameters

module X : sig ... end

Signature

type n
val n : n cardinal