reference operator[](key_type key) const { return (*internal_vector)[key->id()]; }
result_type operator() (key_type const& left, key_type const& right) const { return left.id() < right.id(); }