var group__group_Comparable =
[
    [ "comparing", "group__group-Comparable.html#ga9c2ffe2e51780e57a38d9e7e31b87cdc", null ],
    [ "equal", "group__group-Comparable.html#gacaf1ebea6b3ab96ac9dcb82f0e64e547", null ],
    [ "not_equal", "group__group-Comparable.html#gae33be2e0d5e04f19082f4b7740dfc9cd", null ]
];