var a00271 = [ [ "size_type", "a00271.html#a5440a9e03ae9656c5ed463b985ce4b0d", null ], [ "notify_resized", "a00271.html#a6e93bf4a185eb31034822fd3f898fbd8", null ], [ "range_hash", "a00271.html#a9e69b72556e7eb18fa2938cb6bf4088a", null ], [ "swap", "a00271.html#a8f98e28e82137d342f67443d1c8b59d4", null ] ];