var fwd_2greater_8hpp =
[
    [ "greater", "fwd_2greater_8hpp.html#gaf9a073eafebbe514fb19dff82318f198", null ]
];