(function() {var implementors = {}; implementors["game"] = [{"text":"impl ObjectID for Obj","synthetic":false,"types":["game::debug::blockfinder::Obj"]},{"text":"impl ObjectID for Obj","synthetic":false,"types":["game::devtools::polygon::Obj"]},{"text":"impl ObjectID for MarkerID","synthetic":false,"types":["game::devtools::story::MarkerID"]},{"text":"impl ObjectID for Obj","synthetic":false,"types":["game::sandbox::gameplay::freeform::area_spawner::Obj"]},{"text":"impl ObjectID for ID","synthetic":false,"types":["game::ungap::trip::ID"]}]; implementors["ltn"] = [{"text":"impl ObjectID for NeighborhoodID","synthetic":false,"types":["ltn::partition::NeighborhoodID"]},{"text":"impl ObjectID for BlockID","synthetic":false,"types":["ltn::partition::BlockID"]},{"text":"impl ObjectID for Obj","synthetic":false,"types":["ltn::pathfinding::Obj"]},{"text":"impl ObjectID for FilterableObj","synthetic":false,"types":["ltn::per_neighborhood::FilterableObj"]}]; implementors["map_editor"] = [{"text":"impl ObjectID for ID","synthetic":false,"types":["map_editor::model::ID"]}]; implementors["map_gui"] = [{"text":"impl ObjectID for Obj","synthetic":false,"types":["map_gui::tools::compare_counts::Obj"]},{"text":"impl ObjectID for WaypointID","synthetic":false,"types":["map_gui::tools::waypoints::WaypointID"]}]; implementors["widgetry"] = []; if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()