var a01740 = [ [ "Containers", "a01731.html", "a01731" ], [ "Exceptions", "a01737.html", "a01737" ], [ "Tags", "a01741.html", "a01741" ], [ "Traits", "a01744.html", "a01744" ] ];
var a01740 = [ [ "Containers", "a01731.html", "a01731" ], [ "Exceptions", "a01737.html", "a01737" ], [ "Tags", "a01741.html", "a01741" ], [ "Traits", "a01744.html", "a01744" ] ];