Type definition

A type definition is either used to define an alias to an existing type or used to define a variant inside an algebraic enum.

Syntax

type M = Map.<double, double>


// inside algebraic enums

type X(n : decimal)

Alias type definitions are allowed anywhere. When inside a class block, contributes a static property.

Variant type definitions are only allowed directly in the block of an algebraic enum.

TypeDefinition^ω :
type IdentifierName TypeParameters_opt = TypeExpression Semicolon^ω
type AlgebraicVariantName ( Parameters ) Semicolon^ω
type AlgebraicVariantName ( Parameters ) Block_opt

AlgebraicVariantName :
IdentifierName
AlgebraicVariantName . IdentifierName