{
  "type": "File",
  "start":0,"end":19,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":19}},
  "program": {
    "type": "Program",
    "start":0,"end":19,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":19}},
    "sourceType": "module",
    "interpreter": null,
    "body": [
      {
        "type": "TypeAlias",
        "start":0,"end":19,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":19}},
        "id": {
          "type": "Identifier",
          "start":5,"end":6,"loc":{"start":{"line":1,"column":5},"end":{"line":1,"column":6},"identifierName":"X"},
          "name": "X"
        },
        "typeParameters": null,
        "right": {
          "type": "ObjectTypeAnnotation",
          "start":9,"end":19,"loc":{"start":{"line":1,"column":9},"end":{"line":1,"column":19}},
          "callProperties": [],
          "properties": [],
          "indexers": [
            {
              "type": "ObjectTypeIndexer",
              "start":10,"end":18,"loc":{"start":{"line":1,"column":10},"end":{"line":1,"column":18}},
              "static": false,
              "id": {
                "type": "Identifier",
                "start":12,"end":13,"loc":{"start":{"line":1,"column":12},"end":{"line":1,"column":13},"identifierName":"k"},
                "name": "k"
              },
              "key": {
                "type": "GenericTypeAnnotation",
                "start":14,"end":15,"loc":{"start":{"line":1,"column":14},"end":{"line":1,"column":15}},
                "typeParameters": null,
                "id": {
                  "type": "Identifier",
                  "start":14,"end":15,"loc":{"start":{"line":1,"column":14},"end":{"line":1,"column":15},"identifierName":"K"},
                  "name": "K"
                }
              },
              "value": {
                "type": "GenericTypeAnnotation",
                "start":17,"end":18,"loc":{"start":{"line":1,"column":17},"end":{"line":1,"column":18}},
                "typeParameters": null,
                "id": {
                  "type": "Identifier",
                  "start":17,"end":18,"loc":{"start":{"line":1,"column":17},"end":{"line":1,"column":18},"identifierName":"V"},
                  "name": "V"
                }
              },
              "variance": {
                "type": "Variance",
                "start":10,"end":11,"loc":{"start":{"line":1,"column":10},"end":{"line":1,"column":11}},
                "kind": "minus"
              }
            }
          ],
          "internalSlots": [],
          "exact": false,
          "inexact": false
        }
      }
    ],
    "directives": []
  }
}