A.1 Types

  TypeParameters:   < TypeParameterList >

  TypeParameterList:   TypeParameter   TypeParameterList , TypeParameter

  TypeParameter:   BindingIdentifier Constraint_opt

  Constraint:   extends Type

  TypeArguments:   < TypeArgumentList >

  TypeArgumentList:   TypeArgument   TypeArgumentList , TypeArgument

  TypeArgument:   Type

  Type:   UnionOrIntersectionOrPrimaryType   FunctionType   ConstructorType

  UnionOrIntersectionOrPrimaryType:   UnionType   IntersectionOrPrimaryType

  IntersectionOrPrimaryType:   IntersectionType   PrimaryType

  PrimaryType:   ParenthesizedType   PredefinedType   TypeReference   ObjectType   ArrayType   TupleType   TypeQuery   ThisType

  ParenthesizedType:   ( Type )

  PredefinedType:   any   number   boolean   string   symbol   void

  TypeReference:   TypeName [no LineTerminator here] TypeArguments_opt

  TypeName:   IdentifierReference   NamespaceName . IdentifierReference

  NamespaceName:   IdentifierReference   NamespaceName . IdentifierReference

  ObjectType:   { TypeBody_opt }

  TypeBody:   TypeMemberList ;_opt   TypeMemberList ,_opt

  TypeMemberList:   TypeMember   TypeMemberList ; TypeMember   TypeMemberList , TypeMember

  TypeMember:   PropertySignature   CallSignature   ConstructSignature   IndexSignature   MethodSignature

  ArrayType:   PrimaryType [no LineTerminator here] [ ]

  TupleType:   [ TupleElementTypes ]

  TupleElementTypes:   TupleElementType   TupleElementTypes , TupleElementType

  TupleElementType:   Type

  UnionType:   UnionOrIntersectionOrPrimaryType | IntersectionOrPrimaryType

  IntersectionType:   IntersectionOrPrimaryType & PrimaryType

  FunctionType:   TypeParameters_opt ( ParameterList_opt ) => Type

  ConstructorType:   new TypeParameters_opt ( ParameterList_opt ) => Type

  TypeQuery:   typeof TypeQueryExpression

  TypeQueryExpression:   IdentifierReference   TypeQueryExpression . IdentifierName

  ThisType:   this

  PropertySignature:   PropertyName ?_opt TypeAnnotation_opt

  PropertyName:   IdentifierName   StringLiteral   NumericLiteral

  TypeAnnotation:   : Type

  CallSignature:   TypeParameters_opt ( ParameterList_opt ) TypeAnnotation_opt

  ParameterList:   RequiredParameterList   OptionalParameterList   RestParameter   RequiredParameterList , OptionalParameterList   RequiredParameterList , RestParameter   OptionalParameterList , RestParameter   RequiredParameterList , OptionalParameterList , RestParameter

  RequiredParameterList:   RequiredParameter   RequiredParameterList , RequiredParameter

  RequiredParameter:   AccessibilityModifier_opt BindingIdentifierOrPattern TypeAnnotation_opt   BindingIdentifier : StringLiteral

  AccessibilityModifier:   public   private   protected

  BindingIdentifierOrPattern:   BindingIdentifier   BindingPattern

  OptionalParameterList:   OptionalParameter   OptionalParameterList , OptionalParameter

  OptionalParameter:   AccessibilityModifier_opt BindingIdentifierOrPattern ? TypeAnnotation_opt   AccessibilityModifier_opt BindingIdentifierOrPattern TypeAnnotation_opt Initializer   BindingIdentifier ? : StringLiteral

  RestParameter:   ... BindingIdentifier TypeAnnotation_opt

  ConstructSignature:   new TypeParameters_opt ( ParameterList_opt ) TypeAnnotation_opt

  IndexSignature:   [ BindingIdentifier : string ] TypeAnnotation   [ BindingIdentifier : number ] TypeAnnotation

  MethodSignature:   PropertyName ?_opt CallSignature

  TypeAliasDeclaration:   type BindingIdentifier TypeParameters_opt = Type ;