| 669 | size_t len() override { return map.size(); } |
| 670 | iterator iter() override { return make_key_iterator(map.begin(), map.end()); } |
| 671 | bool contains(const handle &k) override { |
| 672 | try { |
| 673 | return map.find(k.template cast<typename Map::key_type>()) != map.end(); |
| 674 | } catch (const cast_error &) { |
| 675 | return false; |
| 676 | } |
| 677 | } |
| 678 | Map ↦ |
| 679 | }; |
| 680 |