var a10573 = [ [ "allocator_type", "a10573.html#ad2317c121e60028ebd67ff5373f8155a", null ], [ "metadata_type", "a10573.html#ab50cec0ee58c8101c962357ca48dcff5", null ] ];
var a10573 = [ [ "allocator_type", "a10573.html#ad2317c121e60028ebd67ff5373f8155a", null ], [ "metadata_type", "a10573.html#ab50cec0ee58c8101c962357ca48dcff5", null ] ];