text: var searchData=
  [
    ['offset_5fptr_2ehpp',['offset_ptr.hpp',['../offset__ptr_8hpp.html',1,'']]],
    ['open_5fhash_5findex_2ehpp',['open_hash_index.hpp',['../open__hash__index_8hpp.html',1,'']]],
    ['optional_2ehpp',['optional.hpp',['../optional_8hpp.html',1,'']]]
  ];
  