Specification

Content:

• Types
  • Structural Types
  • String Type
  • Identified Types
  • Subtyping
  • Type-Checking
  • Amalgam Types
• Values
  • String Values
  • Structural Values
  • Amalgam Values
• Members
  • Value Members
  • Type Members
  • Contract Members
  • Member Privacy
• Identifiers
  • Nominal Identifier Component
  • Parametric Identifier Component
  • Generic Identifier Component
• Accessors
  • Nominal Accessor Component
  • Parametric Accessor Component
  • Generic Accessor Component
  • Nominal References
• Lexical Scope
• Special characters