tree-sitter-typescript.ebnf

//
// From tree-sitter-typescript/typescript/src/grammar.json
//
//
// EBNF to generate railroad diagram at 
//      (IPV6) https://www.bottlecaps.de/rr/ui
//      (IPV4) https://rr.red-dove.com/ui
//

program ::=
	 hash_bang_line? statement*

hash_bang_line ::=
	 '#!.'*

export_statement ::=
	 'export' ( '*' _from_clause | namespace_export _from_clause | export_clause _from_clause | export_clause ) _semicolon
	| decorator* 'export' ( declaration | 'default' ( declaration | expression _semicolon ) )
	| 'export' 'type' export_clause _from_clause? _semicolon
	| 'export' '=' expression _semicolon
	| 'export' 'as' 'namespace' identifier _semicolon

namespace_export ::=
	 '*' 'as' _module_export_name

export_clause ::=
	 '{' ( export_specifier ( ',' export_specifier )* )? ','? '}'

export_specifier ::=
	 ( 'type' | 'typeof' )? _module_export_name ( 'as' _module_export_name )?

_module_export_name ::=
	 identifier
	| string

declaration ::=
	 function_declaration
	| generator_function_declaration
	| class_declaration
	| lexical_declaration
	| variable_declaration
	| function_signature
	| abstract_class_declaration
	| module
	| internal_module
	| type_alias_declaration
	| enum_declaration
	| interface_declaration
	| import_alias
	| ambient_declaration

import ::=
	 'import'

import_statement ::=
	 'import' ( 'type' | 'typeof' )? ( import_clause _from_clause | import_require_clause | string ) import_attribute? _semicolon

import_clause ::=
	 namespace_import
	| named_imports
	| _import_identifier ( ',' ( namespace_import | named_imports ) )?

_from_clause ::=
	 'from' string

namespace_import ::=
	 '*' 'as' identifier

named_imports ::=
	 '{' ( import_specifier ( ',' import_specifier )* )? ','? '}'

import_specifier ::=
	 ( 'type' | 'typeof' )? ( _import_identifier | ( _module_export_name | 'type' ) 'as' _import_identifier )

import_attribute ::=
	 'with' object

statement ::=
	 export_statement
	| import_statement
	| debugger_statement
	| expression_statement
	| declaration
	| statement_block
	| if_statement
	| switch_statement
	| for_statement
	| for_in_statement
	| while_statement
	| do_statement
	| try_statement
	| with_statement
	| break_statement
	| continue_statement
	| return_statement
	| throw_statement
	| empty_statement
	| labeled_statement

expression_statement ::=
	 _expressions _semicolon

variable_declaration ::=
	 'var' variable_declarator ( ',' variable_declarator )* _semicolon

lexical_declaration ::=
	 ( 'let' | 'const' ) variable_declarator ( ',' variable_declarator )* _semicolon

variable_declarator ::=
	 ( identifier | _destructuring_pattern ) type_annotation? _initializer?
	| identifier '!' type_annotation

statement_block ::=
	 '{' statement* '}' _automatic_semicolon?

else_clause ::=
	 'else' statement

if_statement ::=
	 'if' parenthesized_expression statement else_clause?

switch_statement ::=
	 'switch' parenthesized_expression switch_body

for_statement ::=
	 'for' '(' ( lexical_declaration | variable_declaration | expression_statement | empty_statement ) ( expression_statement | empty_statement ) _expressions? ')' statement

for_in_statement ::=
	 'for' 'await'? _for_header statement

_for_header ::=
	 '(' ( ( _lhs_expression | parenthesized_expression ) | 'var' ( identifier | _destructuring_pattern ) _initializer? | ( 'let' | 'const' ) ( identifier | _destructuring_pattern ) ) ( 'in' | 'of' ) _expressions ')'

while_statement ::=
	 'while' parenthesized_expression statement

do_statement ::=
	 'do' statement 'while' parenthesized_expression

try_statement ::=
	 'try' statement_block catch_clause? finally_clause?

with_statement ::=
	 'with' parenthesized_expression statement

break_statement ::=
	 'break' identifier? _semicolon

continue_statement ::=
	 'continue' identifier? _semicolon

debugger_statement ::=
	 'debugger' _semicolon

return_statement ::=
	 'return' _expressions? _semicolon

throw_statement ::=
	 'throw' _expressions _semicolon

empty_statement ::=
	 ';'

labeled_statement ::=
	 ( identifier | _reserved_identifier ) ':' statement

switch_body ::=
	 '{' ( switch_case | switch_default )* '}'

switch_case ::=
	 'case' _expressions ':' statement*

switch_default ::=
	 'default' ':' statement*

catch_clause ::=
	 'catch' ( '(' ( identifier | _destructuring_pattern ) type_annotation? ')' )? statement_block

finally_clause ::=
	 'finally' statement_block

parenthesized_expression ::=
	 '(' ( expression type_annotation? | sequence_expression ) ')'

_expressions ::=
	 expression
	| sequence_expression

expression ::=
	 as_expression
	| satisfies_expression
	| instantiation_expression
	| internal_module
	| type_assertion
	| primary_expression
	| glimmer_template
	| assignment_expression
	| augmented_assignment_expression
	| await_expression
	| unary_expression
	| binary_expression
	| ternary_expression
	| update_expression
	| new_expression
	| yield_expression

primary_expression ::=
	 subscript_expression
	| member_expression
	| parenthesized_expression
	| _identifier
	| _reserved_identifier
	| this
	| super
	| number
	| string
	| template_string
	| regex
	| true
	| false
	| null
	| object
	| array
	| function_expression
	| arrow_function
	| generator_function
	| class
	| meta_property
	| call_expression
	| non_null_expression

yield_expression ::=
	 'yield' ( '*' expression | expression )

object ::=
	 '{' ( ( pair | spread_element | method_definition | ( identifier | _reserved_identifier ) )? ( ',' ( pair | spread_element | method_definition | ( identifier | _reserved_identifier ) )? )* )? '}'

object_pattern ::=
	 '{' ( ( pair_pattern | rest_pattern | object_assignment_pattern | ( identifier | _reserved_identifier ) )? ( ',' ( pair_pattern | rest_pattern | object_assignment_pattern | ( identifier | _reserved_identifier ) )? )* )? '}'

assignment_pattern ::=
	 pattern '=' expression

object_assignment_pattern ::=
	 ( ( _reserved_identifier | identifier ) | _destructuring_pattern ) '=' expression

array ::=
	 '[' ( ( expression | spread_element )? ( ',' ( expression | spread_element )? )* )? ']'

array_pattern ::=
	 '[' ( ( pattern | assignment_pattern )? ( ',' ( pattern | assignment_pattern )? )* )? ']'

glimmer_template ::=
	 glimmer_opening_tag _glimmer_template_content* glimmer_closing_tag
	| glimmer_opening_tag glimmer_closing_tag

_glimmer_template_content ::=
	 '.{1,}'

glimmer_opening_tag ::=
	 '<template>'

glimmer_closing_tag ::=
	 '</template>'

_jsx_element ::=
	 jsx_element
	| jsx_self_closing_element

jsx_element ::=
	 jsx_opening_element _jsx_child* jsx_closing_element

jsx_text ::=
	 [^{}<>#x0A& ]([^{}<>#x0A&]*[^{}<>#x0A& ])?
	| '\/\/'[^#x0A]*

html_character_reference ::=
	 '&'('#'([xX][0-9a-fA-F]'{1,6}'|[0-9]'{1,5}')|[A-Za-z]'{1,30}')';'

jsx_expression ::=
	 '{' ( expression | sequence_expression | spread_element )? '}'

_jsx_child ::=
	 jsx_text
	| html_character_reference
	| _jsx_element
	| jsx_expression

jsx_opening_element ::=
	 _jsx_start_opening_element '>'

jsx_identifier ::=
	 [a-zA-Z_$][a-zA-Z0-9_$]*'-'[a-zA-Z0-9_$#x2D-]*

_jsx_identifier ::=
	 jsx_identifier
	| identifier

nested_identifier ::=
	 ( identifier | nested_identifier ) '.' identifier

jsx_namespace_name ::=
	 _jsx_identifier ':' _jsx_identifier

_jsx_element_name ::=
	 _jsx_identifier
	| nested_identifier
	| jsx_namespace_name

jsx_closing_element ::=
	 '</' _jsx_element_name? '>'

jsx_self_closing_element ::=
	 _jsx_start_opening_element '/>'

_jsx_attribute ::=
	 jsx_attribute
	| jsx_expression

_jsx_attribute_name ::=
	 _jsx_identifier
	| jsx_namespace_name

jsx_attribute ::=
	 _jsx_attribute_name ( '=' _jsx_attribute_value )?

_jsx_string ::=
	 '"'  ( unescaped_double_jsx_string_fragment | html_character_reference )* '"' 
	| "'"  ( unescaped_single_jsx_string_fragment | html_character_reference )* "'" 

unescaped_double_jsx_string_fragment ::=
	 [^"&]+

unescaped_single_jsx_string_fragment ::=
	 [^'&]+

_jsx_attribute_value ::=
	 _jsx_string
	| jsx_expression
	| _jsx_element

class ::=
	 decorator* 'class' _type_identifier? type_parameters? class_heritage? class_body

class_declaration ::=
	 decorator* 'class' _type_identifier type_parameters? class_heritage? class_body _automatic_semicolon?

class_heritage ::=
	 extends_clause implements_clause?
	| implements_clause

function_expression ::=
	 'async'? 'function' identifier? _call_signature statement_block

function_declaration ::=
	 'async'? 'function' identifier _call_signature statement_block _automatic_semicolon?

generator_function ::=
	 'async'? 'function' '*' identifier? _call_signature statement_block

generator_function_declaration ::=
	 'async'? 'function' '*' identifier _call_signature statement_block _automatic_semicolon?

arrow_function ::=
	 'async'? ( ( _reserved_identifier | identifier ) | _call_signature ) '=>' ( expression | statement_block )

_call_signature ::=
	 type_parameters? formal_parameters ( type_annotation | asserts_annotation | type_predicate_annotation )?

_formal_parameter ::=
	 required_parameter
	| optional_parameter

optional_chain ::=
	 '?.'

call_expression ::=
	 ( expression | import ) type_arguments? ( arguments | template_string )
	| primary_expression '?.' type_arguments? arguments

new_expression ::=
	 'new' primary_expression type_arguments? arguments?

await_expression ::=
	 'await' expression

member_expression ::=
	 ( expression | primary_expression | import ) ( '.' | optional_chain ) ( private_property_identifier | identifier )

subscript_expression ::=
	 ( expression | primary_expression ) optional_chain? '[' _expressions ']'

_lhs_expression ::=
	 member_expression
	| subscript_expression
	| _identifier
	| _reserved_identifier
	| _destructuring_pattern
	| non_null_expression

assignment_expression ::=
	 'using'? ( parenthesized_expression | _lhs_expression ) '=' expression

_augmented_assignment_lhs ::=
	 member_expression
	| subscript_expression
	| _reserved_identifier
	| identifier
	| parenthesized_expression
	| non_null_expression

augmented_assignment_expression ::=
	 _augmented_assignment_lhs ( '+=' | '-=' | '*=' | '/=' | '%=' | '^=' | '&=' | '|=' | '>>=' | '>>>=' | '<<=' | '**=' | '&&=' | '||=' | '??=' ) expression

_initializer ::=
	 '=' expression

_destructuring_pattern ::=
	 object_pattern
	| array_pattern

spread_element ::=
	 '...' expression

ternary_expression ::=
	 expression _ternary_qmark expression ':' expression

binary_expression ::=
	 expression '&&' expression
	| expression '||' expression
	| expression '>>' expression
	| expression '>>>' expression
	| expression '<<' expression
	| expression '&' expression
	| expression '^' expression
	| expression '|' expression
	| expression '+' expression
	| expression '-' expression
	| expression '*' expression
	| expression '/' expression
	| expression '%' expression
	| expression '**' expression
	| expression '<' expression
	| expression '<=' expression
	| expression '==' expression
	| expression '===' expression
	| expression '!=' expression
	| expression '!==' expression
	| expression '>=' expression
	| expression '>' expression
	| expression '??' expression
	| expression 'instanceof' expression
	| ( expression | private_property_identifier ) 'in' expression

unary_expression ::=
	 ( '!' | '~' | '-' | '+' | 'typeof' | 'void' | 'delete' ) expression

update_expression ::=
	 expression ( '++' | '--' ) | ( '++' | '--' ) expression

sequence_expression ::=
	 expression ( ',' expression )*

string ::=
	 '"'  ( unescaped_double_string_fragment | escape_sequence )* '"' 
	| "'"  ( unescaped_single_string_fragment | escape_sequence )* "'" 

unescaped_double_string_fragment ::=
	 [^"\#x0D#x0A]+

unescaped_single_string_fragment ::=
	 [^'\#x0D#x0A]+

escape_sequence ::=
	 ( '\\'  ( [^xu0-7] | [0-7]'{1,3}' | 'x'[0-9a-fA-F]'{2}' | 'u'[0-9a-fA-F]'{4}' | 'u{'[0-9a-fA-F]+'}' | [#x0D?][#x0A\u2028\u2029] ) )

comment ::=
	 ( '//' '.'* | '/*' [^*]*'\'*+([^/*][^*]*'\'*+)* '/' )

template_string ::=
	 '`' ( _template_chars | escape_sequence | template_substitution )* '`'

template_substitution ::=
	 '${' _expressions '}'

regex ::=
	 '/' regex_pattern '/' regex_flags?

regex_pattern ::=
	 ( '[' ( '\\'  '.' | [^#x5D#x0A\] )* ']' | '\\'  '.' | [^/\#x5B#x0A] )+

regex_flags ::=
	 [a-z]+

number ::=
	 ( ( '0x' | '0X' ) [0-9a-fA-F]('_'?[0-9a-fA-F])* | ( '0' | '0'? [1-9] ( '_'? [0-9]('_'?[0-9])* )? ) '.' [0-9]('_'?[0-9])*? ( ( 'e' | 'E' ) ( '-' | '+' )? [0-9]('_'?[0-9])* )? | '.' [0-9]('_'?[0-9])* ( ( 'e' | 'E' ) ( '-' | '+' )? [0-9]('_'?[0-9])* )? | ( '0' | '0'? [1-9] ( '_'? [0-9]('_'?[0-9])* )? ) ( 'e' | 'E' ) ( '-' | '+' )? [0-9]('_'?[0-9])* | [0-9]('_'?[0-9])* | ( '0b' | '0B' ) [0-1]('_'?[0-1])* | ( '0o' | '0O' ) [0-7]('_'?[0-7])* | ( ( '0x' | '0X' ) [0-9a-fA-F]('_'?[0-9a-fA-F])* | ( '0b' | '0B' ) [0-1]('_'?[0-1])* | ( '0o' | '0O' ) [0-7]('_'?[0-7])* | [0-9]('_'?[0-9])* ) 'n' )

_identifier ::=
	 undefined
	| identifier

identifier ::=
	 ( [^\x00-\x1F #x09#x0A#x0B#x0C#x0D\p{Zs}0-9:;`"'@#x23.,|^&<=>+#x2D-*/\%?!~()#x5B#x5D{}\uFEFF\u2060\u200B]|"\u"[0-9a-fA-F]"{4}"|"\u\{"[0-9a-fA-F]+"\}" [^\x00-\x1F #x09#x0A#x0B#x0C#x0D\p{Zs}:;`"'@#x23.,|^&<=>+#x2D-*/\%?!~()#x5B#x5D{}\uFEFF\u2060\u200B]|"\u"[0-9a-fA-F]"{4}"|"\u\{"[0-9a-fA-F]+"\}"* )

private_property_identifier ::=
	 ( '#' [^\x00-\x1F #x09#x0A#x0B#x0C#x0D\p{Zs}0-9:;`"'@#x23.,|^&<=>+#x2D-*/\%?!~()#x5B#x5D{}\uFEFF\u2060\u200B]|"\u"[0-9a-fA-F]"{4}"|"\u\{"[0-9a-fA-F]+"\}" [^\x00-\x1F #x09#x0A#x0B#x0C#x0D\p{Zs}:;`"'@#x23.,|^&<=>+#x2D-*/\%?!~()#x5B#x5D{}\uFEFF\u2060\u200B]|"\u"[0-9a-fA-F]"{4}"|"\u\{"[0-9a-fA-F]+"\}"* )

meta_property ::=
	 'new' '.' 'target'

this ::=
	 'this'

super ::=
	 'super'

true ::=
	 'true'

false ::=
	 'false'

null ::=
	 'null'

undefined ::=
	 'undefined'

arguments ::=
	 '(' ( ( expression | spread_element )? ( ',' ( expression | spread_element )? )* )? ')'

decorator ::=
	 '@' ( identifier | decorator_member_expression | decorator_call_expression )

decorator_member_expression ::=
	 ( identifier | decorator_member_expression ) '.' identifier

decorator_call_expression ::=
	 ( identifier | decorator_member_expression ) arguments

class_body ::=
	 '{' ( decorator* method_definition _semicolon? | method_signature ( _function_signature_automatic_semicolon | ',' ) | class_static_block | ( abstract_method_signature | index_signature | method_signature | public_field_definition ) ( _semicolon | ',' ) | ';' )* '}'

field_definition ::=
	 decorator* 'static'? _property_name _initializer?

formal_parameters ::=
	 '(' ( _formal_parameter ( ',' _formal_parameter )* ','? )? ')'

class_static_block ::=
	 'static' statement_block

pattern ::=
	 _lhs_expression | rest_pattern

rest_pattern ::=
	 '...' _lhs_expression

method_definition ::=
	 accessibility_modifier? 'static'? override_modifier? 'readonly'? 'async'? ( 'get' | 'set' | '*' )? _property_name '?'? _call_signature statement_block

pair ::=
	 _property_name ':' expression

pair_pattern ::=
	 _property_name ':' ( pattern | assignment_pattern )

_property_name ::=
	 ( identifier | _reserved_identifier )
	| private_property_identifier
	| string
	| number
	| computed_property_name

computed_property_name ::=
	 '[' expression ']'

_reserved_identifier ::=
	 'declare'
	| 'namespace'
	| 'type'
	| 'public'
	| 'private'
	| 'protected'
	| 'override'
	| 'readonly'
	| 'module'
	| 'any'
	| 'number'
	| 'boolean'
	| 'string'
	| 'symbol'
	| 'export'
	| 'object'
	| 'new'
	| 'readonly'
	| 'get'
	| 'set'
	| 'async'
	| 'static'
	| 'export'
	| 'let'

_semicolon ::=
	 _automatic_semicolon
	| ';'

public_field_definition ::=
	 decorator* ( 'declare' accessibility_modifier? | accessibility_modifier 'declare'? )? ( 'static'? override_modifier? 'readonly'? | 'abstract'? 'readonly'? | 'readonly'? 'abstract'? ) _property_name ( '?' | '!' )? type_annotation? _initializer?

_jsx_start_opening_element ::=
	 '<' ( ( ( _jsx_identifier | jsx_namespace_name ) | ( identifier | nested_identifier ) type_arguments? ) _jsx_attribute* )?

_import_identifier ::=
	 identifier
	| 'type'

non_null_expression ::=
	 expression '!'

method_signature ::=
	 accessibility_modifier? 'static'? override_modifier? 'readonly'? 'async'? ( 'get' | 'set' | '*' )? _property_name '?'? _call_signature

abstract_method_signature ::=
	 accessibility_modifier? 'abstract' override_modifier? ( 'get' | 'set' | '*' )? _property_name '?'? _call_signature

function_signature ::=
	 'async'? 'function' identifier _call_signature ( _semicolon | _function_signature_automatic_semicolon )

type_assertion ::=
	 type_arguments expression

as_expression ::=
	 expression 'as' ( 'const' | _type )

satisfies_expression ::=
	 expression 'satisfies' _type

instantiation_expression ::=
	 expression type_arguments

import_require_clause ::=
	 identifier '=' 'require' '(' string ')'

extends_clause ::=
	 'extends' _extends_clause_single ( ',' _extends_clause_single )*

_extends_clause_single ::=
	 expression type_arguments?

implements_clause ::=
	 'implements' _type ( ',' _type )*

ambient_declaration ::=
	 'declare' ( declaration | 'global' statement_block | 'module' '.' identifier ':' _type _semicolon )

abstract_class_declaration ::=
	 decorator* 'abstract' 'class' _type_identifier type_parameters? class_heritage? class_body

module ::=
	 'module' _module

internal_module ::=
	 'namespace' _module

_module ::=
	 ( string | identifier | nested_identifier ) statement_block?

import_alias ::=
	 'import' identifier '=' ( identifier | nested_identifier ) _semicolon

nested_type_identifier ::=
	 ( identifier | nested_identifier ) '.' _type_identifier

interface_declaration ::=
	 'interface' _type_identifier type_parameters? extends_type_clause? object_type

extends_type_clause ::=
	 'extends' ( _type_identifier | nested_type_identifier | generic_type ) ( ',' ( _type_identifier | nested_type_identifier | generic_type ) )*

enum_declaration ::=
	 'const'? 'enum' identifier enum_body

enum_body ::=
	 '{' ( ( _property_name | enum_assignment ) ( ',' ( _property_name | enum_assignment ) )* ','? )? '}'

enum_assignment ::=
	 _property_name _initializer

type_alias_declaration ::=
	 'type' _type_identifier type_parameters? '=' _type _semicolon

accessibility_modifier ::=
	 'public'
	| 'private'
	| 'protected'

override_modifier ::=
	 'override'

required_parameter ::=
	 _parameter_name type_annotation? _initializer?

optional_parameter ::=
	 _parameter_name '?' type_annotation? _initializer?

_parameter_name ::=
	 decorator* accessibility_modifier? override_modifier? 'readonly'? ( pattern | this )

omitting_type_annotation ::=
	 '-?:' _type

adding_type_annotation ::=
	 '+?:' _type

opting_type_annotation ::=
	 '?:' _type

type_annotation ::=
	 ':' ( _type | _type_query_member_expression_in_type_annotation | _type_query_call_expression_in_type_annotation )

_type_query_member_expression_in_type_annotation ::=
	 ( import | _type_query_member_expression_in_type_annotation | _type_query_call_expression_in_type_annotation ) '.' ( private_property_identifier | identifier )

_type_query_call_expression_in_type_annotation ::=
	 ( import | _type_query_member_expression_in_type_annotation ) arguments

asserts ::=
	 'asserts' ( type_predicate | identifier | this )

asserts_annotation ::=
	 ':' asserts

_type ::=
	 _primary_type
	| function_type
	| readonly_type
	| constructor_type
	| infer_type

tuple_parameter ::=
	 ( identifier | rest_pattern ) type_annotation

optional_tuple_parameter ::=
	 identifier '?' type_annotation

optional_type ::=
	 _type '?'

rest_type ::=
	 '...' _type

_tuple_type_member ::=
	 tuple_parameter
	| optional_tuple_parameter
	| optional_type
	| rest_type
	| _type

constructor_type ::=
	 'abstract'? 'new' type_parameters? formal_parameters '=>' _type

_primary_type ::=
	 parenthesized_type
	| predefined_type
	| _type_identifier
	| nested_type_identifier
	| generic_type
	| object_type
	| array_type
	| tuple_type
	| flow_maybe_type
	| type_query
	| index_type_query
	| this
	| existential_type
	| literal_type
	| lookup_type
	| conditional_type
	| template_literal_type
	| intersection_type
	| union_type
	| 'const'

template_type ::=
	 '${' ( _primary_type | infer_type ) '}'

template_literal_type ::=
	 '`' ( _template_chars | template_type )* '`'

infer_type ::=
	 'infer' _type_identifier ( 'extends' _type )?

conditional_type ::=
	 _type 'extends' _type '?' _type ':' _type

generic_type ::=
	 ( _type_identifier | nested_type_identifier ) type_arguments

type_predicate ::=
	 ( identifier | this | predefined_type ) 'is' _type

type_predicate_annotation ::=
	 ':' type_predicate

_type_query_member_expression ::=
	 ( identifier | _type_query_subscript_expression | _type_query_member_expression | _type_query_call_expression ) ( '.' | '?.' ) ( private_property_identifier | identifier )

_type_query_subscript_expression ::=
	 ( identifier | _type_query_subscript_expression | _type_query_member_expression | _type_query_call_expression ) '?.'? '[' ( predefined_type | string | number ) ']'

_type_query_call_expression ::=
	 ( import | identifier | _type_query_member_expression | _type_query_subscript_expression ) arguments

_type_query_instantiation_expression ::=
	 ( import | identifier | _type_query_member_expression | _type_query_subscript_expression ) type_arguments

type_query ::=
	 'typeof' ( _type_query_subscript_expression | _type_query_member_expression | _type_query_call_expression | _type_query_instantiation_expression | identifier )

index_type_query ::=
	 'keyof' _primary_type

lookup_type ::=
	 _primary_type '[' _type ']'

mapped_type_clause ::=
	 _type_identifier 'in' _type ( 'as' _type )?

literal_type ::=
	 _number
	| number
	| string
	| true
	| false
	| null
	| undefined

_number ::=
	 ( '-' | '+' ) number

existential_type ::=
	 '*'

flow_maybe_type ::=
	 '?' _primary_type

parenthesized_type ::=
	 '(' _type ')'

predefined_type ::=
	 'any'
	| 'number'
	| 'boolean'
	| 'string'
	| 'symbol'
	| ( 'unique' 'symbol' )
	| 'void'
	| 'unknown'
	| 'string'
	| 'never'
	| 'object'

type_arguments ::=
	 '<' ( _type | _type_query_member_expression_in_type_annotation | _type_query_call_expression_in_type_annotation ) ( ',' ( _type | _type_query_member_expression_in_type_annotation | _type_query_call_expression_in_type_annotation ) )* ','? '>'

object_type ::=
	 ( '{' | '{|' ) ( ( ',' | ';' )? ( export_statement | property_signature | call_signature | construct_signature | index_signature | method_signature ) ( ( ',' | _semicolon ) ( export_statement | property_signature | call_signature | construct_signature | index_signature | method_signature ) )* ( ',' | _semicolon )? )? ( '}' | '|}' )

call_signature ::=
	 _call_signature

property_signature ::=
	 accessibility_modifier? 'static'? override_modifier? 'readonly'? _property_name '?'? type_annotation?

type_parameters ::=
	 '<' type_parameter ( ',' type_parameter )* ','? '>'

type_parameter ::=
	 'const'? _type_identifier constraint? default_type?

default_type ::=
	 '=' _type

constraint ::=
	 ( 'extends' | ':' ) _type

construct_signature ::=
	 'abstract'? 'new' type_parameters? formal_parameters type_annotation?

index_signature ::=
	 ( ( '-' | '+' )? 'readonly' )? '[' ( ( identifier | _reserved_identifier ) ':' _type | mapped_type_clause ) ']' ( type_annotation | omitting_type_annotation | adding_type_annotation | opting_type_annotation )

array_type ::=
	 _primary_type '[' ']'

tuple_type ::=
	 '[' ( _tuple_type_member ( ',' _tuple_type_member )* )? ','? ']'

readonly_type ::=
	 'readonly' _type

union_type ::=
	 _type? '|' _type

intersection_type ::=
	 _type? '&' _type

function_type ::=
	 type_parameters? formal_parameters '=>' ( _type | asserts | type_predicate )

_type_identifier ::=
	 identifier