var a07408 = [ [ "is_transparent", "a07408.html#afa8c38f3e978b126ae5fd6032d1616dd", null ], [ "operator()", "a07408.html#a17d4c0b7ccb078b34d980b20e3092c22", null ] ];
var a07408 = [ [ "is_transparent", "a07408.html#afa8c38f3e978b126ae5fd6032d1616dd", null ], [ "operator()", "a07408.html#a17d4c0b7ccb078b34d980b20e3092c22", null ] ];