[{ s =
   (DirectiveStmt
      { d =
        (OtherDirective (("export", _),
           [(Dir
               { d =
                 (ImportFrom (_, (DottedName []),
                    [(Direct
                        (("a", _),
                         { id_resolved =
                           ref ((Some ((ImportedEntity ["a"]), _)));
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }))
                      ]
                    ));
                 d_attrs = [] })
             ]
           ));
        d_attrs = [] });
   s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _)]),
                     [(Direct
                         (("b", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("b", _)]),
                     [(Direct
                         (("c", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"; "c"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName []),
                     [(Direct
                         (("this", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["this"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("this", _)]),
                     [(Direct
                         (("a", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["this"; "a"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("this", _)]),
                     [(Direct
                         (("b", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "this"; "b"]),
                                        _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("super", _)]),
                     [(Direct
                         (("b", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "super"; "b"]),
                                        _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName []),
                     [(Direct
                         (("$X", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["$X"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d = (ImportAll (_, (DottedName [("a", _)]), _));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d = (ImportAll (_, (DottedName [("a", _)]), _));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d = (OtherDirective (("ImportGiven", _), [])); d_attrs = []
                  })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (OtherDirective (("ImportGiven", _),
                     [(T
                         { 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 = [] })
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName []),
                     [(Aliased (("a", _),
                         (("b", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ })
                         ))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName []),
                     [(Aliased (("a", _),
                         (("b", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ })
                         ))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName []),
                     [(Aliased (("a", _),
                         (("_", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ })
                         ))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _)]),
                     [(Aliased (("b", _),
                         (("c", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ })
                         ))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _)]),
                     [(Aliased (("b", _),
                         (("c", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ })
                         ))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("b", _)]),
                     [(Direct
                         (("c", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"; "c"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("b", _)]),
                     [(Direct
                         (("d", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"; "d"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("b", _)]),
                     [(Direct
                         (("e", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"; "e"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("b", _)]),
                     [(Aliased (("c", _),
                         (("d", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"; "c"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ })
                         ))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("b", _)]),
                     [(Direct
                         (("e", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"; "e"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ }))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d =
                  (ImportFrom (_, (DottedName [("a", _); ("b", _)]),
                     [(Aliased (("f", _),
                         (("g", _),
                          { id_resolved =
                            ref ((Some ((ImportedEntity ["a"; "b"; "f"]), _)));
                            id_resolved_alternatives = ref ([]);
                            id_type = ref (None); id_svalue = ref (Unknown);
                            id_flags = ref (0); id_info_id = _ })
                         ))
                       ]
                     ));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (OtherDirective (("export", _),
            [(Dir
                { d = (ImportAll (_, (DottedName [("a", _); ("b", _)]), _));
                  d_attrs = [] })
              ]
            ));
         d_attrs = [] });
    s_range = None }
  ]