Диагностика TPZ3013

Compiler phase: resolve.

Compiler explanation: A namespace member is used in a position that requires a different export kind.

Message templates. The marker ⟨value⟩ stands for text computed for the reported program.

• namespace members are exported declarations and cannot be keyword-named (⟨value⟩.⟨value⟩) Source
• ⟨value⟩ is an exported type alias of ⟨value⟩, not a value; use it in type position Source
• ⟨value⟩ is exported by ⟨value⟩ but is not a type alias Source
• the head of a qualified type must be a namespace binding; ⟨value⟩ is not one here Source

Observed for the candidate in Topaz 5.21.3. Execution

• error[TPZ3013]: Count is an exported type alias of lib, not a value; use it in type position

The selected member exports a type alias, but the expression requires a value. Nominal constructor names have a separate admitted path.

Use ns.Count in a type annotation or select a value export for the expression.