{
  "type": "File",
  "start":0,"end":168,"loc":{"start":{"line":1,"column":0},"end":{"line":7,"column":30}},
  "program": {
    "type": "Program",
    "start":0,"end":168,"loc":{"start":{"line":1,"column":0},"end":{"line":7,"column":30}},
    "sourceType": "module",
    "interpreter": null,
    "body": [
      {
        "type": "TypeAlias",
        "start":0,"end":56,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":56}},
        "id": {
          "type": "Identifier",
          "start":5,"end":6,"loc":{"start":{"line":1,"column":5},"end":{"line":1,"column":6},"identifierName":"T"},
          "name": "T"
        },
        "typeParameters": null,
        "right": {
          "type": "FunctionTypeAnnotation",
          "start":9,"end":56,"loc":{"start":{"line":1,"column":9},"end":{"line":1,"column":56}},
          "params": [
            {
              "type": "FunctionTypeParam",
              "start":25,"end":35,"loc":{"start":{"line":1,"column":25},"end":{"line":1,"column":35}},
              "name": {
                "type": "Identifier",
                "start":25,"end":26,"loc":{"start":{"line":1,"column":25},"end":{"line":1,"column":26},"identifierName":"a"},
                "name": "a"
              },
              "optional": false,
              "typeAnnotation": {
                "type": "StringTypeAnnotation",
                "start":29,"end":35,"loc":{"start":{"line":1,"column":29},"end":{"line":1,"column":35}}
              }
            },
            {
              "type": "FunctionTypeParam",
              "start":37,"end":47,"loc":{"start":{"line":1,"column":37},"end":{"line":1,"column":47}},
              "name": {
                "type": "Identifier",
                "start":37,"end":38,"loc":{"start":{"line":1,"column":37},"end":{"line":1,"column":38},"identifierName":"b"},
                "name": "b"
              },
              "optional": false,
              "typeAnnotation": {
                "type": "NumberTypeAnnotation",
                "start":41,"end":47,"loc":{"start":{"line":1,"column":41},"end":{"line":1,"column":47}}
              }
            }
          ],
          "rest": null,
          "this": {
            "type": "FunctionTypeParam",
            "start":10,"end":23,"loc":{"start":{"line":1,"column":10},"end":{"line":1,"column":23}},
            "name": null,
            "optional": false,
            "typeAnnotation": {
              "type": "NumberTypeAnnotation",
              "start":17,"end":23,"loc":{"start":{"line":1,"column":17},"end":{"line":1,"column":23}}
            }
          },
          "returnType": {
            "type": "VoidTypeAnnotation",
            "start":52,"end":56,"loc":{"start":{"line":1,"column":52},"end":{"line":1,"column":56}}
          },
          "typeParameters": null
        }
      },
      {
        "type": "TypeAlias",
        "start":58,"end":102,"loc":{"start":{"line":3,"column":0},"end":{"line":3,"column":44}},
        "id": {
          "type": "Identifier",
          "start":63,"end":64,"loc":{"start":{"line":3,"column":5},"end":{"line":3,"column":6},"identifierName":"U"},
          "name": "U"
        },
        "typeParameters": null,
        "right": {
          "type": "FunctionTypeAnnotation",
          "start":67,"end":102,"loc":{"start":{"line":3,"column":9},"end":{"line":3,"column":44}},
          "params": [],
          "rest": {
            "type": "FunctionTypeParam",
            "start":86,"end":93,"loc":{"start":{"line":3,"column":28},"end":{"line":3,"column":35}},
            "name": {
              "type": "Identifier",
              "start":86,"end":87,"loc":{"start":{"line":3,"column":28},"end":{"line":3,"column":29},"identifierName":"c"},
              "name": "c"
            },
            "optional": false,
            "typeAnnotation": {
              "type": "AnyTypeAnnotation",
              "start":90,"end":93,"loc":{"start":{"line":3,"column":32},"end":{"line":3,"column":35}}
            }
          },
          "this": {
            "type": "FunctionTypeParam",
            "start":68,"end":81,"loc":{"start":{"line":3,"column":10},"end":{"line":3,"column":23}},
            "name": null,
            "optional": false,
            "typeAnnotation": {
              "type": "NumberTypeAnnotation",
              "start":75,"end":81,"loc":{"start":{"line":3,"column":17},"end":{"line":3,"column":23}}
            }
          },
          "returnType": {
            "type": "VoidTypeAnnotation",
            "start":98,"end":102,"loc":{"start":{"line":3,"column":40},"end":{"line":3,"column":44}}
          },
          "typeParameters": null
        }
      },
      {
        "type": "TypeAlias",
        "start":104,"end":136,"loc":{"start":{"line":5,"column":0},"end":{"line":5,"column":32}},
        "id": {
          "type": "Identifier",
          "start":109,"end":110,"loc":{"start":{"line":5,"column":5},"end":{"line":5,"column":6},"identifierName":"V"},
          "name": "V"
        },
        "typeParameters": null,
        "right": {
          "type": "FunctionTypeAnnotation",
          "start":113,"end":136,"loc":{"start":{"line":5,"column":9},"end":{"line":5,"column":32}},
          "params": [],
          "rest": null,
          "this": {
            "type": "FunctionTypeParam",
            "start":114,"end":127,"loc":{"start":{"line":5,"column":10},"end":{"line":5,"column":23}},
            "name": null,
            "optional": false,
            "typeAnnotation": {
              "type": "NumberTypeAnnotation",
              "start":121,"end":127,"loc":{"start":{"line":5,"column":17},"end":{"line":5,"column":23}}
            }
          },
          "returnType": {
            "type": "VoidTypeAnnotation",
            "start":132,"end":136,"loc":{"start":{"line":5,"column":28},"end":{"line":5,"column":32}}
          },
          "typeParameters": null
        }
      },
      {
        "type": "TypeAlias",
        "start":138,"end":168,"loc":{"start":{"line":7,"column":0},"end":{"line":7,"column":30}},
        "id": {
          "type": "Identifier",
          "start":143,"end":144,"loc":{"start":{"line":7,"column":5},"end":{"line":7,"column":6},"identifierName":"Q"},
          "name": "Q"
        },
        "typeParameters": null,
        "right": {
          "type": "FunctionTypeAnnotation",
          "start":147,"end":168,"loc":{"start":{"line":7,"column":9},"end":{"line":7,"column":30}},
          "typeParameters": {
            "type": "TypeParameterDeclaration",
            "start":147,"end":150,"loc":{"start":{"line":7,"column":9},"end":{"line":7,"column":12}},
            "params": [
              {
                "type": "TypeParameter",
                "start":148,"end":149,"loc":{"start":{"line":7,"column":10},"end":{"line":7,"column":11}},
                "name": "T",
                "variance": null
              }
            ]
          },
          "params": [],
          "rest": null,
          "this": {
            "type": "FunctionTypeParam",
            "start":151,"end":159,"loc":{"start":{"line":7,"column":13},"end":{"line":7,"column":21}},
            "name": null,
            "optional": false,
            "typeAnnotation": {
              "type": "GenericTypeAnnotation",
              "start":158,"end":159,"loc":{"start":{"line":7,"column":20},"end":{"line":7,"column":21}},
              "typeParameters": null,
              "id": {
                "type": "Identifier",
                "start":158,"end":159,"loc":{"start":{"line":7,"column":20},"end":{"line":7,"column":21},"identifierName":"T"},
                "name": "T"
              }
            }
          },
          "returnType": {
            "type": "VoidTypeAnnotation",
            "start":164,"end":168,"loc":{"start":{"line":7,"column":26},"end":{"line":7,"column":30}}
          }
        }
      }
    ],
    "directives": []
  }
}