var minmax__element_8hpp =
[
    [ "minmax_element", "minmax__element_8hpp.html#gad053bf0c4a68256752f1806bd7cbdd25", null ],
    [ "minmax_element", "minmax__element_8hpp.html#gac12521879e79759de133b2b4d02b6759", null ]
];