{
  "type": "File",
  "start": 0,
  "end": 43,
  "loc": {
    "start": {
      "line": 1,
      "column": 0
    },
    "end": {
      "line": 1,
      "column": 43
    }
  },
  "program": {
    "type": "Program",
    "start": 0,
    "end": 43,
    "loc": {
      "start": {
        "line": 1,
        "column": 0
      },
      "end": {
        "line": 1,
        "column": 43
      }
    },
    "sourceType": "module",
    "interpreter": null,
    "body": [
      {
        "type": "OpaqueType",
        "start": 0,
        "end": 43,
        "loc": {
          "start": {
            "line": 1,
            "column": 0
          },
          "end": {
            "line": 1,
            "column": 43
          }
        },
        "id": {
          "type": "Identifier",
          "start": 12,
          "end": 19,
          "loc": {
            "start": {
              "line": 1,
              "column": 12
            },
            "end": {
              "line": 1,
              "column": 19
            },
            "identifierName": "Counter"
          },
          "name": "Counter"
        },
        "typeParameters": null,
        "supertype": {
          "type": "GenericTypeAnnotation",
          "start": 21,
          "end": 27,
          "loc": {
            "start": {
              "line": 1,
              "column": 21
            },
            "end": {
              "line": 1,
              "column": 27
            }
          },
          "typeParameters": {
            "type": "TypeParameterInstantiation",
            "start": 24,
            "end": 27,
            "loc": {
              "start": {
                "line": 1,
                "column": 24
              },
              "end": {
                "line": 1,
                "column": 27
              }
            },
            "params": [
              {
                "type": "GenericTypeAnnotation",
                "start": 25,
                "end": 26,
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 25
                  },
                  "end": {
                    "line": 1,
                    "column": 26
                  }
                },
                "typeParameters": null,
                "id": {
                  "type": "Identifier",
                  "start": 25,
                  "end": 26,
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 25
                    },
                    "end": {
                      "line": 1,
                      "column": 26
                    },
                    "identifierName": "T"
                  },
                  "name": "T"
                }
              }
            ]
          },
          "id": {
            "type": "Identifier",
            "start": 21,
            "end": 24,
            "loc": {
              "start": {
                "line": 1,
                "column": 21
              },
              "end": {
                "line": 1,
                "column": 24
              },
              "identifierName": "Box"
            },
            "name": "Box"
          }
        },
        "impltype": {
          "type": "GenericTypeAnnotation",
          "start": 30,
          "end": 42,
          "loc": {
            "start": {
              "line": 1,
              "column": 30
            },
            "end": {
              "line": 1,
              "column": 42
            }
          },
          "typeParameters": {
            "type": "TypeParameterInstantiation",
            "start": 39,
            "end": 42,
            "loc": {
              "start": {
                "line": 1,
                "column": 39
              },
              "end": {
                "line": 1,
                "column": 42
              }
            },
            "params": [
              {
                "type": "GenericTypeAnnotation",
                "start": 40,
                "end": 41,
                "loc": {
                  "start": {
                    "line": 1,
                    "column": 40
                  },
                  "end": {
                    "line": 1,
                    "column": 41
                  }
                },
                "typeParameters": null,
                "id": {
                  "type": "Identifier",
                  "start": 40,
                  "end": 41,
                  "loc": {
                    "start": {
                      "line": 1,
                      "column": 40
                    },
                    "end": {
                      "line": 1,
                      "column": 41
                    },
                    "identifierName": "T"
                  },
                  "name": "T"
                }
              }
            ]
          },
          "id": {
            "type": "Identifier",
            "start": 30,
            "end": 39,
            "loc": {
              "start": {
                "line": 1,
                "column": 30
              },
              "end": {
                "line": 1,
                "column": 39
              },
              "identifierName": "Container"
            },
            "name": "Container"
          }
        }
      }
    ],
    "directives": []
  }
}