Module Indexing.Const

Parameters

module X : sig ... end

Signature

type n
val n : n cardinal