{
  "programs": [
    "Program {\n    span: 54..525,\n    kind: Script,\n    body: [\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n        _,\n    ],\n}"
  ],
  "stmts": [
    "Decl(\n    _,\n)",
    "Decl(\n    _,\n)",
    "Decl(\n    _,\n)",
    "Decl(\n    _,\n)",
    "Expr(\n    ExprStmt {\n        span: 235..273,\n        expr: _,\n    },\n)",
    "Expr(\n    ExprStmt {\n        span: 267..343,\n        expr: _,\n    },\n)",
    "Expr(\n    ExprStmt {\n        span: 336..359,\n        expr: _,\n    },\n)",
    "Decl(\n    _,\n)",
    "Decl(\n    _,\n)",
    "Decl(\n    _,\n)"
  ],
  "decls": [
    "TsTypeAlias(\n    TsTypeAliasDecl {\n        span: 54..102,\n        ident: Ident {\n            span: 59..64,\n            sym: \"Facts\",\n        },\n        declare: false,\n        type_params: [],\n        ty: _,\n    },\n)",
    "Fn(\n    FnDecl {\n        span: 103..148,\n        ident: Ident {\n            span: 112..123,\n            sym: \"checkTruths\",\n        },\n        declare: true,\n        params: [\n            _,\n        ],\n        body: [],\n    },\n)",
    "Fn(\n    FnDecl {\n        span: 149..196,\n        ident: Ident {\n            span: 158..164,\n            sym: \"checkM\",\n        },\n        declare: true,\n        params: [\n            _,\n        ],\n        body: [],\n    },\n)",
    "Var(\n    VarDecl {\n        span: 191..246,\n        kind: Const,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 191..217,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)",
    "Var(\n    VarDecl {\n        span: 354..400,\n        kind: Const,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 354..377,\n                name: _,\n                init: Some(\n                    _,\n                ),\n            },\n        ],\n    },\n)",
    "TsTypeAlias(\n    TsTypeAliasDecl {\n        span: 396..470,\n        ident: Ident {\n            span: 401..402,\n            sym: \"M\",\n        },\n        declare: false,\n        type_params: [],\n        ty: _,\n    },\n)",
    "Var(\n    VarDecl {\n        span: 465..525,\n        kind: Const,\n        declare: false,\n        declarators: [\n            VarDeclarator {\n                span: 465..524,\n                name: _,\n                init: None,\n            },\n        ],\n    },\n)"
  ],
  "pats": [
    "Ident(\n    Ident {\n        span: 124..125,\n        sym: \"x\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 165..166,\n        sym: \"x\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 197..198,\n        sym: \"x\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 199..217,\n        left: _,\n        right: _,\n    },\n)",
    "Ident(\n    Ident {\n        span: 360..361,\n        sym: \"m\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 471..473,\n        sym: \"x2\",\n    },\n)",
    "Assign(\n    AssignPat {\n        span: 474..524,\n        left: _,\n        right: _,\n    },\n)"
  ],
  "exprs": [
    "Lit(\n    Bool(\n        BoolLit {\n            span: 210..214,\n            value: true,\n        },\n    ),\n)",
    "Object(\n    ObjectExpr {\n        span: 201..217,\n        props: [\n            KeyValueProp {\n                span: 207..216,\n                key: Ident(\n                    Ident {\n                        span: 207..208,\n                        sym: \"m\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "Ident(\n    Ident {\n        span: 235..246,\n        sym: \"checkTruths\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 247..248,\n        sym: \"x\",\n    },\n)",
    "Call(\n    CallExpr {\n        span: 246..250,\n        callee: _,\n        args: [\n            ExprOrSpread {\n                spread: false,\n                expr: _,\n            },\n        ],\n    },\n)",
    "Ident(\n    Ident {\n        span: 267..273,\n        sym: \"checkM\",\n    },\n)",
    "Ident(\n    Ident {\n        span: 274..275,\n        sym: \"x\",\n    },\n)",
    "Call(\n    CallExpr {\n        span: 273..277,\n        callee: _,\n        args: [\n            ExprOrSpread {\n                spread: false,\n                expr: _,\n            },\n        ],\n    },\n)",
    "Ident(\n    Ident {\n        span: 336..343,\n        sym: \"console\",\n    },\n)",
    "Member(\n    MemberExpr {\n        span: 343..348,\n        obj: _,\n        prop: Ident(\n            Ident {\n                span: 344..347,\n                sym: \"log\",\n            },\n        ),\n    },\n)",
    "Ident(\n    Ident {\n        span: 348..349,\n        sym: \"x\",\n    },\n)",
    "Member(\n    MemberExpr {\n        span: 349..352,\n        obj: _,\n        prop: Ident(\n            Ident {\n                span: 350..351,\n                sym: \"z\",\n            },\n        ),\n    },\n)",
    "Call(\n    CallExpr {\n        span: 347..353,\n        callee: _,\n        args: [\n            ExprOrSpread {\n                spread: false,\n                expr: _,\n            },\n        ],\n    },\n)",
    "Ident(\n    Ident {\n        span: 373..374,\n        sym: \"x\",\n    },\n)",
    "Member(\n    MemberExpr {\n        span: 374..377,\n        obj: _,\n        prop: Ident(\n            Ident {\n                span: 375..376,\n                sym: \"m\",\n            },\n        ),\n    },\n)",
    "Lit(\n    Bool(\n        BoolLit {\n            span: 485..489,\n            value: true,\n        },\n    ),\n)",
    "Lit(\n    Str(\n        StrLit {\n            span: 498..505,\n            value: \"false\",\n        },\n    ),\n)",
    "Object(\n    ObjectExpr {\n        span: 476..517,\n        props: [\n            KeyValueProp {\n                span: 482..490,\n                key: Ident(\n                    Ident {\n                        span: 482..483,\n                        sym: \"m\",\n                    },\n                ),\n                value: _,\n            },\n            KeyValueProp {\n                span: 495..507,\n                key: Ident(\n                    Ident {\n                        span: 495..496,\n                        sym: \"s\",\n                    },\n                ),\n                value: _,\n            },\n        ],\n    },\n)",
    "TsSatisfies(\n    TsSatisfiesExpr {\n        span: 508..524,\n        expr: _,\n        ty: _,\n    },\n)"
  ],
  "module_decls": [],
  "functions": [],
  "classes": [],
  "class_members": [],
  "jsx_elements": [],
  "ts_types": [
    "Keyword(\n    String,\n)",
    "Keyword(\n    Boolean,\n)",
    "TypeLit(\n    TsTypeLit {\n        span: 67..94,\n        members: [\n            TsTypeMember {\n                span: 69..93,\n                kind: Index,\n                name: None,\n                optional: false,\n                readonly: false,\n                params: [\n                    TsFnParam {\n                        span: 70..73,\n                        name: Some(\n                            Ident {\n                                span: 70..73,\n                                sym: \"key\",\n                            },\n                        ),\n                        ty: Some(\n                            _,\n                        ),\n                        is_rest: false,\n                        optional: false,\n                    },\n                ],\n                ty: Some(\n                    _,\n                ),\n            },\n        ],\n    },\n)",
    "TypeQuery(\n    TsTypeQuery {\n        span: 411..420,\n        expr_name: Ident {\n            span: 418..420,\n            sym: \"x\",\n        },\n        type_args: [],\n    },\n)",
    "TypeOperator(\n    TsTypeOperatorType {\n        span: 405..420,\n        op: KeyOf,\n        ty: _,\n    },\n)",
    "TypeRef(\n    TsTypeRef {\n        span: 518..524,\n        name: Ident {\n            span: 518..524,\n            sym: \"Facts\",\n        },\n        type_args: [],\n    },\n)"
  ]
}
