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