[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("!MultiVarDef!", _),
               { id_resolved = ref (None);
                 id_resolved_alternatives = ref ([]); id_type = ref (None);
                 id_svalue = ref (Unknown); id_flags = ref (1);
                 id_info_id = _ }
               )));
         attrs = [(KeywordAttr (Const, _))]; tparams = None },
       (VarDef
          { vinit =
            (Some { e =
                    (Assign (
                       { e =
                         (Record
                            (_,
                             [(F
                                 { s =
                                   (DefStmt
                                      ({ name =
                                         (EN
                                            (Id (("export1", _),
                                               { 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 },
                                       (FieldDefColon
                                          { vinit =
                                            (Some { e =
                                                    (N
                                                       (Id (("export1", _),
                                                          { id_resolved =
                                                            ref ((Some (
                                                            (ImportedEntity
                                                               ["module-name";
                                                                 "export1"]),
                                                            _)));
                                                            id_resolved_alternatives =
                                                            ref ([]);
                                                            id_type =
                                                            ref (None);
                                                            id_svalue =
                                                            ref (Unknown);
                                                            id_flags =
                                                            ref (0);
                                                            id_info_id = _ }
                                                          )));
                                                    e_id = 0; e_range = None;
                                                    is_implicit_return =
                                                    false; facts = <opaque> });
                                            vtype = None; vtok = None })));
                                   s_range = None });
                               (F
                                  { s =
                                    (DefStmt
                                       ({ name =
                                          (EN
                                             (Id (("export2", _),
                                                { 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 },
                                        (FieldDefColon
                                           { vinit =
                                             (Some { e =
                                                     (N
                                                        (Id (("export2", _),
                                                           { id_resolved =
                                                             ref ((Some (
                                                             (ImportedEntity
                                                                ["module-name";
                                                                  "export2"]),
                                                             _)));
                                                             id_resolved_alternatives =
                                                             ref ([]);
                                                             id_type =
                                                             ref (None);
                                                             id_svalue =
                                                             ref (Unknown);
                                                             id_flags =
                                                             ref (0);
                                                             id_info_id = _ }
                                                           )));
                                                     e_id = 0;
                                                     e_range = None;
                                                     is_implicit_return =
                                                     false; facts = <opaque>
                                                     });
                                             vtype = None; vtok = None })));
                                    s_range = None })
                               ],
                             _));
                         e_id = 0; e_range = None;
                         is_implicit_return = false; facts = <opaque> },
                       _,
                       { e =
                         (Call (
                            { e = (Special (Require, _)); e_id = 0;
                              e_range = None; is_implicit_return = false;
                              facts = <opaque> },
                            (_,
                             [(Arg
                                 { e =
                                   (L (String (_, ("module-name", _), _)));
                                   e_id = 0; e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> })
                               ],
                             _)
                            ));
                         e_id = 0; e_range = None;
                         is_implicit_return = false; facts = <opaque> }
                       ));
                    e_id = 0; e_range = None; is_implicit_return = false;
                    facts = <opaque> });
            vtype = None; vtok = None })));
   s_range = None }
  ]