var a08265 =
[
    [ "__max_element_reduct", "a08265.html#a3795baa60339a562a8345803d1992512", null ],
    [ "operator()", "a08265.html#aee581d77799b10a4cebc3b2b0be461fb", null ],
    [ "__comp", "a08265.html#a98fad423cee195e1fcf596fb14159c91", null ]
];