[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("foo", _),
               { 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 },
       (FuncDef
          { fkind = (Function, _);
            fparams = (_, [(ParamPattern (PatLiteral (Unit _)))], _);
            frettype = None;
            fbody =
            (FBStmt
               { s =
                 (OtherStmt (OS_ExprStmt2,
                    [(E
                        { e =
                          (Lambda
                             { fkind = (Function, _);
                               fparams =
                               (_,
                                [(Param
                                    { pname = (Some ("_path", _));
                                      ptype = None; pdefault = None;
                                      pattrs = [];
                                      pinfo =
                                      { id_resolved =
                                        ref ((Some (Parameter, _)));
                                        id_resolved_alternatives = ref ([]);
                                        id_type = ref (None);
                                        id_svalue = ref (Unknown);
                                        id_flags = ref (0); id_info_id = _ }
                                      })
                                  ],
                                _);
                               frettype = None;
                               fbody =
                               (FBExpr
                                  { e = (L (Bool (true, _))); e_id = 0;
                                    e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> })
                               });
                          e_id = 0; e_range = (Some (_, _));
                          is_implicit_return = false; facts = <opaque> })
                      ]
                    ));
                 s_range = None })
            })));
   s_range = None }
  ]