Module Indexing.ConstSource

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

Sourcetype n