{ "type": "Script", "span": { "start": 43, "end": 436, "ctxt": 0 }, "body": [ { "type": "FunctionDeclaration", "identifier": { "type": "Identifier", "span": { "start": 60, "end": 62, "ctxt": 0 }, "value": "f1", "optional": false }, "declare": true, "params": [ { "type": "Parameter", "span": { "start": 66, "end": 84, "ctxt": 0 }, "decorators": [], "pat": { "type": "Identifier", "span": { "start": 66, "end": 84, "ctxt": 0 }, "value": "cb", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 68, "end": 84, "ctxt": 0 }, "typeAnnotation": { "type": "TsFunctionType", "span": { "start": 70, "end": 84, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 74, "end": 78, "ctxt": 0 }, "value": "x", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 75, "end": 78, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 77, "end": 78, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 77, "end": 78, "ctxt": 0 }, "value": "S", "optional": false }, "typeParams": null } } } ], "typeParams": { "type": "TsTypeParameterDeclaration", "span": { "start": 70, "end": 73, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 71, "end": 72, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 71, "end": 72, "ctxt": 0 }, "value": "S", "optional": false }, "constraint": null, "default": null } ] }, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 80, "end": 84, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 83, "end": 84, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 83, "end": 84, "ctxt": 0 }, "value": "T", "optional": false }, "typeParams": null } } } } } } ], "decorators": [], "span": { "start": 43, "end": 89, "ctxt": 0 }, "body": null, "generator": false, "async": false, "typeParameters": { "type": "TsTypeParameterDeclaration", "span": { "start": 62, "end": 65, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 63, "end": 64, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 63, "end": 64, "ctxt": 0 }, "value": "T", "optional": false }, "constraint": null, "default": null } ] }, "returnType": { "type": "TsTypeAnnotation", "span": { "start": 85, "end": 88, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 87, "end": 88, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 87, "end": 88, "ctxt": 0 }, "value": "T", "optional": false }, "typeParams": null } } }, { "type": "FunctionDeclaration", "identifier": { "type": "Identifier", "span": { "start": 108, "end": 110, "ctxt": 0 }, "value": "f2", "optional": false }, "declare": true, "params": [ { "type": "Parameter", "span": { "start": 114, "end": 147, "ctxt": 0 }, "decorators": [], "pat": { "type": "Identifier", "span": { "start": 114, "end": 147, "ctxt": 0 }, "value": "cb", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 116, "end": 147, "ctxt": 0 }, "typeAnnotation": { "type": "TsFunctionType", "span": { "start": 118, "end": 147, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 137, "end": 141, "ctxt": 0 }, "value": "x", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 138, "end": 141, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 140, "end": 141, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 140, "end": 141, "ctxt": 0 }, "value": "S", "optional": false }, "typeParams": null } } } ], "typeParams": { "type": "TsTypeParameterDeclaration", "span": { "start": 118, "end": 136, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 119, "end": 135, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 119, "end": 120, "ctxt": 0 }, "value": "S", "optional": false }, "constraint": { "type": "TsKeywordType", "span": { "start": 129, "end": 135, "ctxt": 0 }, "kind": "number" }, "default": null } ] }, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 143, "end": 147, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 146, "end": 147, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 146, "end": 147, "ctxt": 0 }, "value": "T", "optional": false }, "typeParams": null } } } } } } ], "decorators": [], "span": { "start": 91, "end": 152, "ctxt": 0 }, "body": null, "generator": false, "async": false, "typeParameters": { "type": "TsTypeParameterDeclaration", "span": { "start": 110, "end": 113, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 111, "end": 112, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 111, "end": 112, "ctxt": 0 }, "value": "T", "optional": false }, "constraint": null, "default": null } ] }, "returnType": { "type": "TsTypeAnnotation", "span": { "start": 148, "end": 151, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 150, "end": 151, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 150, "end": 151, "ctxt": 0 }, "value": "T", "optional": false }, "typeParams": null } } }, { "type": "FunctionDeclaration", "identifier": { "type": "Identifier", "span": { "start": 171, "end": 173, "ctxt": 0 }, "value": "f3", "optional": false }, "declare": true, "params": [ { "type": "Parameter", "span": { "start": 177, "end": 212, "ctxt": 0 }, "decorators": [], "pat": { "type": "Identifier", "span": { "start": 177, "end": 212, "ctxt": 0 }, "value": "cb", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 179, "end": 212, "ctxt": 0 }, "typeAnnotation": { "type": "TsFunctionType", "span": { "start": 181, "end": 212, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 202, "end": 206, "ctxt": 0 }, "value": "x", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 203, "end": 206, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 205, "end": 206, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 205, "end": 206, "ctxt": 0 }, "value": "S", "optional": false }, "typeParams": null } } } ], "typeParams": { "type": "TsTypeParameterDeclaration", "span": { "start": 181, "end": 201, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 182, "end": 200, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 182, "end": 183, "ctxt": 0 }, "value": "S", "optional": false }, "constraint": { "type": "TsTypeReference", "span": { "start": 192, "end": 200, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 192, "end": 197, "ctxt": 0 }, "value": "Array", "optional": false }, "typeParams": { "type": "TsTypeParameterInstantiation", "span": { "start": 197, "end": 200, "ctxt": 0 }, "params": [ { "type": "TsTypeReference", "span": { "start": 198, "end": 199, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 198, "end": 199, "ctxt": 0 }, "value": "S", "optional": false }, "typeParams": null } ] } }, "default": null } ] }, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 208, "end": 212, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 211, "end": 212, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 211, "end": 212, "ctxt": 0 }, "value": "T", "optional": false }, "typeParams": null } } } } } } ], "decorators": [], "span": { "start": 154, "end": 217, "ctxt": 0 }, "body": null, "generator": false, "async": false, "typeParameters": { "type": "TsTypeParameterDeclaration", "span": { "start": 173, "end": 176, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 174, "end": 175, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 174, "end": 175, "ctxt": 0 }, "value": "T", "optional": false }, "constraint": null, "default": null } ] }, "returnType": { "type": "TsTypeAnnotation", "span": { "start": 213, "end": 216, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 215, "end": 216, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 215, "end": 216, "ctxt": 0 }, "value": "T", "optional": false }, "typeParams": null } } }, { "type": "VariableDeclaration", "span": { "start": 221, "end": 241, "ctxt": 0 }, "kind": "let", "declare": false, "declarations": [ { "type": "VariableDeclarator", "span": { "start": 225, "end": 240, "ctxt": 0 }, "id": { "type": "Identifier", "span": { "start": 225, "end": 227, "ctxt": 0 }, "value": "x1", "optional": false, "typeAnnotation": null }, "init": { "type": "CallExpression", "span": { "start": 230, "end": 240, "ctxt": 0 }, "callee": { "type": "Identifier", "span": { "start": 230, "end": 232, "ctxt": 0 }, "value": "f1", "optional": false }, "arguments": [ { "spread": null, "expression": { "type": "ArrowFunctionExpression", "span": { "start": 233, "end": 239, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 233, "end": 234, "ctxt": 0 }, "value": "x", "optional": false, "typeAnnotation": null } ], "body": { "type": "Identifier", "span": { "start": 238, "end": 239, "ctxt": 0 }, "value": "x", "optional": false }, "async": false, "generator": false, "typeParameters": null, "returnType": null } } ], "typeArguments": null }, "definite": false } ] }, { "type": "VariableDeclaration", "span": { "start": 250, "end": 270, "ctxt": 0 }, "kind": "let", "declare": false, "declarations": [ { "type": "VariableDeclarator", "span": { "start": 254, "end": 269, "ctxt": 0 }, "id": { "type": "Identifier", "span": { "start": 254, "end": 256, "ctxt": 0 }, "value": "x2", "optional": false, "typeAnnotation": null }, "init": { "type": "CallExpression", "span": { "start": 259, "end": 269, "ctxt": 0 }, "callee": { "type": "Identifier", "span": { "start": 259, "end": 261, "ctxt": 0 }, "value": "f2", "optional": false }, "arguments": [ { "spread": null, "expression": { "type": "ArrowFunctionExpression", "span": { "start": 262, "end": 268, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 262, "end": 263, "ctxt": 0 }, "value": "x", "optional": false, "typeAnnotation": null } ], "body": { "type": "Identifier", "span": { "start": 267, "end": 268, "ctxt": 0 }, "value": "x", "optional": false }, "async": false, "generator": false, "typeParameters": null, "returnType": null } } ], "typeArguments": null }, "definite": false } ] }, { "type": "VariableDeclaration", "span": { "start": 283, "end": 303, "ctxt": 0 }, "kind": "let", "declare": false, "declarations": [ { "type": "VariableDeclarator", "span": { "start": 287, "end": 302, "ctxt": 0 }, "id": { "type": "Identifier", "span": { "start": 287, "end": 289, "ctxt": 0 }, "value": "x3", "optional": false, "typeAnnotation": null }, "init": { "type": "CallExpression", "span": { "start": 292, "end": 302, "ctxt": 0 }, "callee": { "type": "Identifier", "span": { "start": 292, "end": 294, "ctxt": 0 }, "value": "f3", "optional": false }, "arguments": [ { "spread": null, "expression": { "type": "ArrowFunctionExpression", "span": { "start": 295, "end": 301, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 295, "end": 296, "ctxt": 0 }, "value": "x", "optional": false, "typeAnnotation": null } ], "body": { "type": "Identifier", "span": { "start": 300, "end": 301, "ctxt": 0 }, "value": "x", "optional": false }, "async": false, "generator": false, "typeParameters": null, "returnType": null } } ], "typeArguments": null }, "definite": false } ] }, { "type": "VariableDeclaration", "span": { "start": 346, "end": 407, "ctxt": 0 }, "kind": "const", "declare": true, "declarations": [ { "type": "VariableDeclarator", "span": { "start": 360, "end": 406, "ctxt": 0 }, "id": { "type": "Identifier", "span": { "start": 360, "end": 361, "ctxt": 0 }, "value": "s", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 361, "end": 406, "ctxt": 0 }, "typeAnnotation": { "type": "TsFunctionType", "span": { "start": 363, "end": 406, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 367, "end": 400, "ctxt": 0 }, "value": "go", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 369, "end": 400, "ctxt": 0 }, "typeAnnotation": { "type": "TsFunctionType", "span": { "start": 371, "end": 400, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 375, "end": 394, "ctxt": 0 }, "value": "ops", "optional": false, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 378, "end": 394, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeLiteral", "span": { "start": 380, "end": 394, "ctxt": 0 }, "members": [ { "type": "TsMethodSignature", "span": { "start": 382, "end": 392, "ctxt": 0 }, "readonly": false, "key": { "type": "Identifier", "span": { "start": 382, "end": 386, "ctxt": 0 }, "value": "init", "optional": false }, "computed": false, "optional": false, "params": [], "typeAnn": { "type": "TsTypeAnnotation", "span": { "start": 388, "end": 391, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 390, "end": 391, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 390, "end": 391, "ctxt": 0 }, "value": "S", "optional": false }, "typeParams": null } }, "typeParams": null } ] } } } ], "typeParams": { "type": "TsTypeParameterDeclaration", "span": { "start": 371, "end": 374, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 372, "end": 373, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 372, "end": 373, "ctxt": 0 }, "value": "S", "optional": false }, "constraint": null, "default": null } ] }, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 396, "end": 400, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 399, "end": 400, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 399, "end": 400, "ctxt": 0 }, "value": "R", "optional": false }, "typeParams": null } } } } } ], "typeParams": { "type": "TsTypeParameterDeclaration", "span": { "start": 363, "end": 366, "ctxt": 0 }, "parameters": [ { "type": "TsTypeParameter", "span": { "start": 364, "end": 365, "ctxt": 0 }, "name": { "type": "Identifier", "span": { "start": 364, "end": 365, "ctxt": 0 }, "value": "R", "optional": false }, "constraint": null, "default": null } ] }, "typeAnnotation": { "type": "TsTypeAnnotation", "span": { "start": 402, "end": 406, "ctxt": 0 }, "typeAnnotation": { "type": "TsTypeReference", "span": { "start": 405, "end": 406, "ctxt": 0 }, "typeName": { "type": "Identifier", "span": { "start": 405, "end": 406, "ctxt": 0 }, "value": "R", "optional": false }, "typeParams": null } } } } }, "init": null, "definite": false } ] }, { "type": "VariableDeclaration", "span": { "start": 409, "end": 436, "ctxt": 0 }, "kind": "const", "declare": false, "declarations": [ { "type": "VariableDeclarator", "span": { "start": 415, "end": 435, "ctxt": 0 }, "id": { "type": "Identifier", "span": { "start": 415, "end": 416, "ctxt": 0 }, "value": "x", "optional": false, "typeAnnotation": null }, "init": { "type": "CallExpression", "span": { "start": 419, "end": 435, "ctxt": 0 }, "callee": { "type": "Identifier", "span": { "start": 419, "end": 420, "ctxt": 0 }, "value": "s", "optional": false }, "arguments": [ { "spread": null, "expression": { "type": "ArrowFunctionExpression", "span": { "start": 421, "end": 434, "ctxt": 0 }, "params": [ { "type": "Identifier", "span": { "start": 421, "end": 422, "ctxt": 0 }, "value": "a", "optional": false, "typeAnnotation": null } ], "body": { "type": "CallExpression", "span": { "start": 426, "end": 434, "ctxt": 0 }, "callee": { "type": "MemberExpression", "span": { "start": 426, "end": 432, "ctxt": 0 }, "object": { "type": "Identifier", "span": { "start": 426, "end": 427, "ctxt": 0 }, "value": "a", "optional": false }, "property": { "type": "Identifier", "span": { "start": 428, "end": 432, "ctxt": 0 }, "value": "init", "optional": false } }, "arguments": [], "typeArguments": null }, "async": false, "generator": false, "typeParameters": null, "returnType": null } } ], "typeArguments": null }, "definite": false } ] } ], "interpreter": null }