{
  "programs": [
    "Program {\n    span: 207..1148,\n    kind: Script,\n    body: [\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n    ],\n}"
  ],
  "stmts": [
    "Decl(\n    _,\n)",
    "Decl(\n    _,\n)",
    "Expr(\n    ExprStmt {\n        span: 309..355,\n        expr: _,\n    },\n)",
    "Expr(\n    ExprStmt {\n        span: 342..526,\n        expr: _,\n    },\n)",
    "Decl(\n    _,\n)",
    "Decl(\n    _,\n)",
    "Expr(\n    ExprStmt {\n        span: 652..720,\n        expr: _,\n    },\n)",
    "Expr(\n    ExprStmt {\n        span: 703..877,\n        expr: _,\n    },\n)",
    "Decl(\n    _,\n)",
    "Return(\n    ReturnStmt {\n        span: 986..997,\n        arg: Some(\n            _,\n        ),\n    },\n)",
    "Decl(\n    _,\n)",
    "Expr(\n    ExprStmt {\n        span: 1002..1058,\n        expr: _,\n    },\n)",
    "Expr(\n    ExprStmt {\n        span: 1045..1139,\n        expr: _,\n    },\n)",
    "Decl(\n    _,\n)"
  ],
  "decls": [
    "Var(\n    VarDecl {\n        span: 207..280,\n        kind: Let,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 207..238,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)",
    "Var(\n    VarDecl {\n        span: 277..324,\n        kind: Let,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 277..307,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)",
    "Var(\n    VarDecl {\n        span: 523..612,\n        kind: Let,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 523..566,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)",
    "Var(\n    VarDecl {\n        span: 609..671,\n        kind: Let,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 609..650,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)",
    "Var(\n    VarDecl {\n        span: 874..955,\n        kind: Let,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 874..913,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)",
    "Var(\n    VarDecl {\n        span: 952..1017,\n        kind: Let,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 952..1000,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)",
    "Fn(\n    FnDecl {\n        span: 1131..1148,\n        ident: Ident {\n            span: 1140..1141,\n            sym: \"f\",\n        },\n        declare: false,\n        params: [\n            _,\n        ],\n        body: [],\n    },\n)"
  ],
  "pats": [
    "Ident(\n    Ident {\n        span: 211..226,\n        sym: \"super_covariant\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 227..238,\n        left: _,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 281..294,\n        sym: \"sub_covariant\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 295..307,\n        left: _,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 309..324,\n        sym: \"super_covariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 342..355,\n        sym: \"sub_covariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 527..546,\n        sym: \"super_contravariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 555..556,\n        sym: \"x\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 547..566,\n        left: _,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 613..630,\n        sym: \"sub_contravariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 639..640,\n        sym: \"x\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 631..650,\n        left: _,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 652..671,\n        sym: \"super_contravariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 703..720,\n        sym: \"sub_contravariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 878..893,\n        sym: \"super_invariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 902..903,\n        sym: \"x\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 894..913,\n        left: _,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 956..969,\n        sym: \"sub_invariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 978..979,\n        sym: \"x\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 970..1000,\n        left: _,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 1002..1017,\n        sym: \"super_invariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 1045..1058,\n        sym: \"sub_invariant\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 1142..1143,\n        sym: \"x\",\n    },\n)"
  ],
  "exprs": [
    "Lit(\n    Num(\n        NumberLit {\n            span: 234..235,\n            value: 1.0,\n        },\n    ),\n)",
    "Object(\n    ObjectExpr {\n        span: 229..238,\n        props: [\n            KeyValueProp {\n                span: 231..237,\n                key: Ident(\n                    Ident {\n                        span: 231..232,\n                        sym: \"x\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "Lit(\n    Str(\n        StrLit {\n            span: 302..304,\n            value: \"\",\n        },\n    ),\n)",
    "Object(\n    ObjectExpr {\n        span: 297..307,\n        props: [\n            KeyValueProp {\n                span: 299..306,\n                key: Ident(\n                    Ident {\n                        span: 299..300,\n                        sym: \"x\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "Ident(\n    Ident {\n        span: 327..340,\n        sym: \"sub_covariant\",\n    },\n)",
    "Assign(\n    AssignExpr {\n        span: 325..341,\n        left: _,\n        op: Assign,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 360..375,\n        sym: \"super_covariant\",\n    },\n)",
    "Assign(\n    AssignExpr {\n        span: 358..376,\n        left: _,\n        op: Assign,\n        right: _,\n    },\n)",
    "Arrow(\n    ArrowExpr {\n        span: 554..565,\n        params: [\n            _,\n        ],\n        body: Block(\n            [],\n        ),\n        is_async: false,\n    },\n)",
    "Object(\n    ObjectExpr {\n        span: 549..566,\n        props: [\n            KeyValueProp {\n                span: 551..565,\n                key: Ident(\n                    Ident {\n                        span: 551..552,\n                        sym: \"f\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "Arrow(\n    ArrowExpr {\n        span: 638..649,\n        params: [\n            _,\n        ],\n        body: Block(\n            [],\n        ),\n        is_async: false,\n    },\n)",
    "Object(\n    ObjectExpr {\n        span: 633..650,\n        props: [\n            KeyValueProp {\n                span: 635..649,\n                key: Ident(\n                    Ident {\n                        span: 635..636,\n                        sym: \"f\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "Ident(\n    Ident {\n        span: 674..691,\n        sym: \"sub_contravariant\",\n    },\n)",
    "Assign(\n    AssignExpr {\n        span: 672..692,\n        left: _,\n        op: Assign,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 723..742,\n        sym: \"super_contravariant\",\n    },\n)",
    "Assign(\n    AssignExpr {\n        span: 721..743,\n        left: _,\n        op: Assign,\n        right: _,\n    },\n)",
    "Arrow(\n    ArrowExpr {\n        span: 901..912,\n        params: [\n            _,\n        ],\n        body: Block(\n            [],\n        ),\n        is_async: false,\n    },\n)",
    "Object(\n    ObjectExpr {\n        span: 896..913,\n        props: [\n            KeyValueProp {\n                span: 898..912,\n                key: Ident(\n                    Ident {\n                        span: 898..899,\n                        sym: \"f\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "Lit(\n    Str(\n        StrLit {\n            span: 993..995,\n            value: \"\",\n        },\n    ),\n)",
    "Arrow(\n    ArrowExpr {\n        span: 977..999,\n        params: [\n            _,\n        ],\n        body: Block(\n            [\n                _,\n            ],\n        ),\n        is_async: false,\n    },\n)",
    "Object(\n    ObjectExpr {\n        span: 972..1000,\n        props: [\n            KeyValueProp {\n                span: 974..999,\n                key: Ident(\n                    Ident {\n                        span: 974..975,\n                        sym: \"f\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "Ident(\n    Ident {\n        span: 1020..1033,\n        sym: \"sub_invariant\",\n    },\n)",
    "Assign(\n    AssignExpr {\n        span: 1018..1034,\n        left: _,\n        op: Assign,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 1061..1076,\n        sym: \"super_invariant\",\n    },\n)",
    "Assign(\n    AssignExpr {\n        span: 1059..1077,\n        left: _,\n        op: Assign,\n        right: _,\n    },\n)"
  ],
  "module_decls": [],
  "functions": [],
  "classes": [],
  "class_members": [],
  "jsx_elements": [],
  "ts_types": []
}
