text: var a00937 =
  [
      [ "allocator_traits", "a00054.html", "a00054" ],
      [ "rebind_alloc", "a00643.html", "a00643" ],
      [ "allocator_rebind", "a00053.html", "a00053" ],
      [ "traits_false_type", "a00937.html#a809ea570272c2b168d0a753a44fff259", null ],
      [ "traits_true_type", "a00937.html#a1d9a51c952840ec6afbb40390daeeace", null ],
      [ "allocator_move_assignment", "a00937.html#a4fc0f7677fcad0cbc796143f575e1fd9", null ],
      [ "allocator_move_assignment", "a00937.html#a41a83730585ec2bb6f20b4979f18aaa7", null ],
      [ "allocator_swap", "a00937.html#a214c362fa3d93966ef63b2ddddc9115e", null ],
      [ "allocator_swap", "a00937.html#ae1cd5c9b7f88a68ca5f173162dc0518d", null ]
  ];