Types

Informative catalog page. The linked OpenSpec source is the sole normative text.

Capability ID

BSP-CAP-BD8338F463C9

Capability key

language-meta--type-system--types

Status

Standard

Catalog revision

9c11b6418f6db430f8fc249f71e01ce9273b2a681b77b32dafc44703b9b41734

Read the canonical OpenSpec capability source.

Requirements

• BSP-REQ-C8F44FB82A86: Type expression grammar — canonical requirement
• BSP-REQ-C1E9B096A071: Nominal type declarations and members — canonical requirement
• BSP-REQ-86182BD39B1E: Static type rules and diagnostics — canonical requirement