{
  "type": "Program",
  "statements": [
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "Facts",
        "loc": {
          "start": {
            "line": 17,
            "column": 6
          },
          "end": {
            "line": 17,
            "column": 11
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeLiteral",
        "members": [
          {
            "type": "TSIndexSignature",
            "parameters": {
              "type": "Identifier",
              "name": "key",
              "typeAnnotation": {
                "type": "TSStringKeyword",
                "loc": {
                  "start": {
                    "line": 17,
                    "column": 22
                  },
                  "end": {
                    "line": 17,
                    "column": 28
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 17,
                  "column": 17
                },
                "end": {
                  "line": 17,
                  "column": 20
                }
              }
            },
            "typeAnnotation": {
              "type": "TSBooleanKeyword",
              "loc": {
                "start": {
                  "line": 17,
                  "column": 31
                },
                "end": {
                  "line": 17,
                  "column": 38
                }
              }
            },
            "readonly": false,
            "static": false,
            "loc": {
              "start": {
                "line": 17,
                "column": 16
              },
              "end": {
                "line": 17,
                "column": 40
              }
            }
          }
        ],
        "loc": {
          "start": {
            "line": 17,
            "column": 14
          },
          "end": {
            "line": 17,
            "column": 40
          }
        }
      },
      "loc": {
        "start": {
          "line": 17,
          "column": 1
        },
        "end": {
          "line": 17,
          "column": 41
        }
      }
    },
    {
      "type": "TSDeclareFunction",
      "function": {
        "type": "ScriptFunction",
        "id": {
          "type": "Identifier",
          "name": "checkTruths",
          "loc": {
            "start": {
              "line": 18,
              "column": 18
            },
            "end": {
              "line": 18,
              "column": 29
            }
          }
        },
        "generator": false,
        "async": false,
        "expression": false,
        "params": [
          {
            "type": "Identifier",
            "name": "x",
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "Facts",
                "loc": {
                  "start": {
                    "line": 18,
                    "column": 33
                  },
                  "end": {
                    "line": 18,
                    "column": 38
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 18,
                  "column": 33
                },
                "end": {
                  "line": 18,
                  "column": 38
                }
              }
            },
            "loc": {
              "start": {
                "line": 18,
                "column": 30
              },
              "end": {
                "line": 18,
                "column": 31
              }
            }
          }
        ],
        "returnType": {
          "type": "TSVoidKeyword",
          "loc": {
            "start": {
              "line": 18,
              "column": 41
            },
            "end": {
              "line": 18,
              "column": 45
            }
          }
        },
        "declare": true,
        "loc": {
          "start": {
            "line": 18,
            "column": 9
          },
          "end": {
            "line": 18,
            "column": 46
          }
        }
      },
      "loc": {
        "start": {
          "line": 18,
          "column": 9
        },
        "end": {
          "line": 18,
          "column": 46
        }
      }
    },
    {
      "type": "TSDeclareFunction",
      "function": {
        "type": "ScriptFunction",
        "id": {
          "type": "Identifier",
          "name": "checkM",
          "loc": {
            "start": {
              "line": 19,
              "column": 18
            },
            "end": {
              "line": 19,
              "column": 24
            }
          }
        },
        "generator": false,
        "async": false,
        "expression": false,
        "params": [
          {
            "type": "Identifier",
            "name": "x",
            "typeAnnotation": {
              "type": "TSTypeLiteral",
              "members": [
                {
                  "type": "TSPropertySignature",
                  "computed": false,
                  "optional": false,
                  "readonly": false,
                  "key": {
                    "type": "Identifier",
                    "name": "m",
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 30
                      },
                      "end": {
                        "line": 19,
                        "column": 31
                      }
                    }
                  },
                  "typeAnnotation": {
                    "type": "TSBooleanKeyword",
                    "loc": {
                      "start": {
                        "line": 19,
                        "column": 33
                      },
                      "end": {
                        "line": 19,
                        "column": 40
                      }
                    }
                  },
                  "loc": {
                    "start": {
                      "line": 19,
                      "column": 30
                    },
                    "end": {
                      "line": 19,
                      "column": 42
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 19,
                  "column": 28
                },
                "end": {
                  "line": 19,
                  "column": 42
                }
              }
            },
            "loc": {
              "start": {
                "line": 19,
                "column": 25
              },
              "end": {
                "line": 19,
                "column": 26
              }
            }
          }
        ],
        "returnType": {
          "type": "TSVoidKeyword",
          "loc": {
            "start": {
              "line": 19,
              "column": 45
            },
            "end": {
              "line": 19,
              "column": 49
            }
          }
        },
        "declare": true,
        "loc": {
          "start": {
            "line": 19,
            "column": 9
          },
          "end": {
            "line": 19,
            "column": 50
          }
        }
      },
      "loc": {
        "start": {
          "line": 19,
          "column": 9
        },
        "end": {
          "line": 19,
          "column": 50
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "x",
            "loc": {
              "start": {
                "line": 20,
                "column": 7
              },
              "end": {
                "line": 20,
                "column": 8
              }
            }
          },
          "init": {
            "type": "ObjectExpression",
            "properties": [
              {
                "type": "Property",
                "method": false,
                "shorthand": false,
                "computed": false,
                "key": {
                  "type": "Identifier",
                  "name": "m",
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 5
                    },
                    "end": {
                      "line": 21,
                      "column": 6
                    }
                  }
                },
                "value": {
                  "type": "BooleanLiteral",
                  "value": true,
                  "loc": {
                    "start": {
                      "line": 21,
                      "column": 8
                    },
                    "end": {
                      "line": 21,
                      "column": 12
                    }
                  }
                },
                "kind": "init",
                "loc": {
                  "start": {
                    "line": 21,
                    "column": 5
                  },
                  "end": {
                    "line": 21,
                    "column": 12
                  }
                }
              }
            ],
            "loc": {
              "start": {
                "line": 20,
                "column": 11
              },
              "end": {
                "line": 22,
                "column": 2
              }
            }
          },
          "loc": {
            "start": {
              "line": 20,
              "column": 7
            },
            "end": {
              "line": 22,
              "column": 2
            }
          }
        }
      ],
      "kind": "const",
      "loc": {
        "start": {
          "line": 20,
          "column": 1
        },
        "end": {
          "line": 22,
          "column": 3
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "CallExpression",
        "callee": {
          "type": "Identifier",
          "name": "checkTruths",
          "loc": {
            "start": {
              "line": 24,
              "column": 1
            },
            "end": {
              "line": 24,
              "column": 12
            }
          }
        },
        "arguments": [
          {
            "type": "Identifier",
            "name": "x",
            "loc": {
              "start": {
                "line": 24,
                "column": 13
              },
              "end": {
                "line": 24,
                "column": 14
              }
            }
          }
        ],
        "optional": false,
        "loc": {
          "start": {
            "line": 24,
            "column": 1
          },
          "end": {
            "line": 24,
            "column": 15
          }
        }
      },
      "loc": {
        "start": {
          "line": 24,
          "column": 1
        },
        "end": {
          "line": 24,
          "column": 16
        }
      }
    },
    {
      "type": "ExpressionStatement",
      "expression": {
        "type": "CallExpression",
        "callee": {
          "type": "Identifier",
          "name": "checkM",
          "loc": {
            "start": {
              "line": 25,
              "column": 1
            },
            "end": {
              "line": 25,
              "column": 7
            }
          }
        },
        "arguments": [
          {
            "type": "Identifier",
            "name": "x",
            "loc": {
              "start": {
                "line": 25,
                "column": 8
              },
              "end": {
                "line": 25,
                "column": 9
              }
            }
          }
        ],
        "optional": false,
        "loc": {
          "start": {
            "line": 25,
            "column": 1
          },
          "end": {
            "line": 25,
            "column": 10
          }
        }
      },
      "loc": {
        "start": {
          "line": 25,
          "column": 1
        },
        "end": {
          "line": 25,
          "column": 11
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "m",
            "typeAnnotation": {
              "type": "TSBooleanKeyword",
              "loc": {
                "start": {
                  "line": 27,
                  "column": 10
                },
                "end": {
                  "line": 27,
                  "column": 17
                }
              }
            },
            "loc": {
              "start": {
                "line": 27,
                "column": 7
              },
              "end": {
                "line": 27,
                "column": 8
              }
            }
          },
          "init": {
            "type": "MemberExpression",
            "object": {
              "type": "Identifier",
              "name": "x",
              "loc": {
                "start": {
                  "line": 27,
                  "column": 20
                },
                "end": {
                  "line": 27,
                  "column": 21
                }
              }
            },
            "property": {
              "type": "Identifier",
              "name": "m",
              "loc": {
                "start": {
                  "line": 27,
                  "column": 22
                },
                "end": {
                  "line": 27,
                  "column": 23
                }
              }
            },
            "computed": false,
            "optional": false,
            "loc": {
              "start": {
                "line": 27,
                "column": 20
              },
              "end": {
                "line": 27,
                "column": 23
              }
            }
          },
          "loc": {
            "start": {
              "line": 27,
              "column": 7
            },
            "end": {
              "line": 27,
              "column": 23
            }
          }
        }
      ],
      "kind": "const",
      "loc": {
        "start": {
          "line": 27,
          "column": 1
        },
        "end": {
          "line": 27,
          "column": 24
        }
      }
    },
    {
      "type": "TSTypeAliasDeclaration",
      "id": {
        "type": "Identifier",
        "name": "M",
        "loc": {
          "start": {
            "line": 29,
            "column": 6
          },
          "end": {
            "line": 29,
            "column": 7
          }
        }
      },
      "typeAnnotation": {
        "type": "TSTypeOperator",
        "operator": "keyof",
        "typeAnnotation": {
          "type": "TSTypeQuery",
          "exprName": {
            "type": "Identifier",
            "name": "x",
            "loc": {
              "start": {
                "line": 29,
                "column": 23
              },
              "end": {
                "line": 29,
                "column": 24
              }
            }
          },
          "loc": {
            "start": {
              "line": 29,
              "column": 16
            },
            "end": {
              "line": 29,
              "column": 24
            }
          }
        },
        "loc": {
          "start": {
            "line": 29,
            "column": 10
          },
          "end": {
            "line": 29,
            "column": 24
          }
        }
      },
      "loc": {
        "start": {
          "line": 29,
          "column": 1
        },
        "end": {
          "line": 29,
          "column": 25
        }
      }
    },
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "x2",
            "loc": {
              "start": {
                "line": 31,
                "column": 7
              },
              "end": {
                "line": 31,
                "column": 9
              }
            }
          },
          "init": {
            "type": "TSSatisfiesExpression",
            "expression": {
              "type": "ObjectExpression",
              "properties": [
                {
                  "type": "Property",
                  "method": false,
                  "shorthand": false,
                  "computed": false,
                  "key": {
                    "type": "Identifier",
                    "name": "m",
                    "loc": {
                      "start": {
                        "line": 32,
                        "column": 5
                      },
                      "end": {
                        "line": 32,
                        "column": 6
                      }
                    }
                  },
                  "value": {
                    "type": "BooleanLiteral",
                    "value": true,
                    "loc": {
                      "start": {
                        "line": 32,
                        "column": 8
                      },
                      "end": {
                        "line": 32,
                        "column": 12
                      }
                    }
                  },
                  "kind": "init",
                  "loc": {
                    "start": {
                      "line": 32,
                      "column": 5
                    },
                    "end": {
                      "line": 32,
                      "column": 12
                    }
                  }
                },
                {
                  "type": "Property",
                  "method": false,
                  "shorthand": false,
                  "computed": false,
                  "key": {
                    "type": "Identifier",
                    "name": "s",
                    "loc": {
                      "start": {
                        "line": 33,
                        "column": 5
                      },
                      "end": {
                        "line": 33,
                        "column": 6
                      }
                    }
                  },
                  "value": {
                    "type": "StringLiteral",
                    "value": "false",
                    "loc": {
                      "start": {
                        "line": 33,
                        "column": 8
                      },
                      "end": {
                        "line": 33,
                        "column": 15
                      }
                    }
                  },
                  "kind": "init",
                  "loc": {
                    "start": {
                      "line": 33,
                      "column": 5
                    },
                    "end": {
                      "line": 33,
                      "column": 15
                    }
                  }
                }
              ],
              "loc": {
                "start": {
                  "line": 31,
                  "column": 12
                },
                "end": {
                  "line": 34,
                  "column": 2
                }
              }
            },
            "typeAnnotation": {
              "type": "TSTypeReference",
              "typeName": {
                "type": "Identifier",
                "name": "Facts",
                "loc": {
                  "start": {
                    "line": 34,
                    "column": 13
                  },
                  "end": {
                    "line": 34,
                    "column": 18
                  }
                }
              },
              "loc": {
                "start": {
                  "line": 34,
                  "column": 13
                },
                "end": {
                  "line": 34,
                  "column": 18
                }
              }
            },
            "loc": {
              "start": {
                "line": 31,
                "column": 12
              },
              "end": {
                "line": 34,
                "column": 19
              }
            }
          },
          "loc": {
            "start": {
              "line": 31,
              "column": 7
            },
            "end": {
              "line": 34,
              "column": 19
            }
          }
        }
      ],
      "kind": "const",
      "loc": {
        "start": {
          "line": 31,
          "column": 1
        },
        "end": {
          "line": 34,
          "column": 19
        }
      }
    }
  ],
  "loc": {
    "start": {
      "line": 1,
      "column": 1
    },
    "end": {
      "line": 34,
      "column": 19
    }
  }
}