[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("t", _),
               { id_resolved = ref (None);
                 id_resolved_alternatives = ref ([]); id_type = ref (None);
                 id_svalue = ref (Unknown); id_flags = ref (0);
                 id_info_id = _ }
               )));
         attrs = []; tparams = None },
       (TypeDef
          { tbody =
            (NewType
               { t =
                 (OtherType (("TyMatch", _),
                    [(S
                        { s =
                          (Switch (_,
                             (Some (Cond
                                      { e =
                                        (OtherExpr (("type_expr", _),
                                           [(T
                                               { t =
                                                 (TyN
                                                    (Id (("K", _),
                                                       { id_resolved =
                                                         ref (None);
                                                         id_resolved_alternatives =
                                                         ref ([]);
                                                         id_type = ref (None);
                                                         id_svalue =
                                                         ref (Unknown);
                                                         id_flags = ref (0);
                                                         id_info_id = _ }
                                                       )));
                                                 t_attrs = [] })
                                             ]
                                           ));
                                        e_id = 0; e_range = None;
                                        is_implicit_return = false;
                                        facts = <opaque> })),
                             [(CasesAndBody
                                 ([(Case (_, (PatWildcard _)))],
                                  { s =
                                    (OtherStmt (OS_Todo,
                                       [(T
                                           { t =
                                             (TyN
                                                (Id (("String", _),
                                                   { id_resolved = ref (None);
                                                     id_resolved_alternatives =
                                                     ref ([]);
                                                     id_type = ref (None);
                                                     id_svalue =
                                                     ref (Unknown);
                                                     id_flags = ref (0);
                                                     id_info_id = _ }
                                                   )));
                                             t_attrs = [] })
                                         ]
                                       ));
                                    s_range = None }))
                               ]
                             ));
                          s_range = None })
                      ]
                    ));
                 t_attrs = [] })
            })));
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("t2", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (TypeDef
           { tbody =
             (NewType
                { t =
                  (OtherType (("TyMatch", _),
                     [(S
                         { s =
                           (Switch (_,
                              (Some (Cond
                                       { e =
                                         (OtherExpr (("type_expr", _),
                                            [(T
                                                { t =
                                                  (TyN
                                                     (Id (("K", _),
                                                        { id_resolved =
                                                          ref (None);
                                                          id_resolved_alternatives =
                                                          ref ([]);
                                                          id_type =
                                                          ref (None);
                                                          id_svalue =
                                                          ref (Unknown);
                                                          id_flags = ref (0);
                                                          id_info_id = _ }
                                                        )));
                                                  t_attrs = [] })
                                              ]
                                            ));
                                         e_id = 0; e_range = None;
                                         is_implicit_return = false;
                                         facts = <opaque> })),
                              [(CasesAndBody
                                  ([(Case (_,
                                       (PatType
                                          { t =
                                            (TyN
                                               (Id (("Int", _),
                                                  { id_resolved = ref (None);
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (Unknown);
                                                    id_flags = ref (0);
                                                    id_info_id = _ }
                                                  )));
                                            t_attrs = [] })
                                       ))
                                     ],
                                   { s =
                                     (OtherStmt (OS_Todo,
                                        [(T
                                            { t =
                                              (TyApply (
                                                 { t =
                                                   (TyN
                                                      (Id (("T", _),
                                                         { id_resolved =
                                                           ref (None);
                                                           id_resolved_alternatives =
                                                           ref ([]);
                                                           id_type =
                                                           ref (None);
                                                           id_svalue =
                                                           ref (Unknown);
                                                           id_flags = ref (0);
                                                           id_info_id = _ }
                                                         )));
                                                   t_attrs = [] },
                                                 (_,
                                                  [(TA
                                                      { t =
                                                        (TyN
                                                           (Id (("A", _),
                                                              { id_resolved =
                                                                ref (None);
                                                                id_resolved_alternatives =
                                                                ref (
                                                                []);
                                                                id_type =
                                                                ref (None);
                                                                id_svalue =
                                                                ref (Unknown);
                                                                id_flags =
                                                                ref (0);
                                                                id_info_id =
                                                                _ }
                                                              )));
                                                        t_attrs = [] })
                                                    ],
                                                  _)
                                                 ));
                                              t_attrs = [] })
                                          ]
                                        ));
                                     s_range = None }))
                                ]
                              ));
                           s_range = None })
                       ]
                     ));
                  t_attrs = [] })
             })));
    s_range = None }
  ]