{
  "type": "File",
  "start":0,"end":45,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":45}},
  "program": {
    "type": "Program",
    "start":0,"end":45,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":45}},
    "sourceType": "module",
    "interpreter": null,
    "body": [
      {
        "type": "FunctionDeclaration",
        "start":0,"end":45,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":45}},
        "id": {
          "type": "Identifier",
          "start":9,"end":10,"loc":{"start":{"line":1,"column":9},"end":{"line":1,"column":10},"identifierName":"x"},
          "name": "x"
        },
        "generator": false,
        "async": false,
        "params": [
          {
            "type": "Identifier",
            "start":11,"end":21,"loc":{"start":{"line":1,"column":11},"end":{"line":1,"column":21},"identifierName":"a"},
            "name": "a",
            "typeAnnotation": {
              "type": "TypeAnnotation",
              "start":12,"end":21,"loc":{"start":{"line":1,"column":12},"end":{"line":1,"column":21}},
              "typeAnnotation": {
                "type": "UnionTypeAnnotation",
                "start":14,"end":21,"loc":{"start":{"line":1,"column":14},"end":{"line":1,"column":21}},
                "types": [
                  {
                    "type": "NumberLiteralTypeAnnotation",
                    "start":16,"end":17,"loc":{"start":{"line":1,"column":16},"end":{"line":1,"column":17}},
                    "extra": {
                      "rawValue": 1,
                      "raw": "1"
                    },
                    "value": 1
                  },
                  {
                    "type": "NumberLiteralTypeAnnotation",
                    "start":20,"end":21,"loc":{"start":{"line":1,"column":20},"end":{"line":1,"column":21}},
                    "extra": {
                      "rawValue": 2,
                      "raw": "2"
                    },
                    "value": 2
                  }
                ]
              }
            }
          },
          {
            "type": "Identifier",
            "start":23,"end":33,"loc":{"start":{"line":1,"column":23},"end":{"line":1,"column":33},"identifierName":"b"},
            "name": "b",
            "typeAnnotation": {
              "type": "TypeAnnotation",
              "start":24,"end":33,"loc":{"start":{"line":1,"column":24},"end":{"line":1,"column":33}},
              "typeAnnotation": {
                "type": "IntersectionTypeAnnotation",
                "start":26,"end":33,"loc":{"start":{"line":1,"column":26},"end":{"line":1,"column":33}},
                "types": [
                  {
                    "type": "NumberLiteralTypeAnnotation",
                    "start":28,"end":29,"loc":{"start":{"line":1,"column":28},"end":{"line":1,"column":29}},
                    "extra": {
                      "rawValue": 3,
                      "raw": "3"
                    },
                    "value": 3
                  },
                  {
                    "type": "NumberLiteralTypeAnnotation",
                    "start":32,"end":33,"loc":{"start":{"line":1,"column":32},"end":{"line":1,"column":33}},
                    "extra": {
                      "rawValue": 4,
                      "raw": "4"
                    },
                    "value": 4
                  }
                ]
              }
            }
          }
        ],
        "predicate": null,
        "returnType": {
          "type": "TypeAnnotation",
          "start":34,"end":42,"loc":{"start":{"line":1,"column":34},"end":{"line":1,"column":42}},
          "typeAnnotation": {
            "type": "NumberTypeAnnotation",
            "start":36,"end":42,"loc":{"start":{"line":1,"column":36},"end":{"line":1,"column":42}}
          }
        },
        "body": {
          "type": "BlockStatement",
          "start":43,"end":45,"loc":{"start":{"line":1,"column":43},"end":{"line":1,"column":45}},
          "body": [],
          "directives": []
        }
      }
    ],
    "directives": []
  }
}