var a01530 = [ [ "Data Structure Type", "a01532.html", "a01532" ], [ "Invalidation Guarantees", "a01531.html", "a01531" ], [ "trivial_iterator_tag", "a11115.html", null ], [ "trivial_iterator_difference_type", "a01530.html#ga3a45dab56a44f762c97eb0eaee17f6f2", null ] ];