var fwd_2plus_8hpp =
[
    [ "plus", "fwd_2plus_8hpp.html#gaeb5d4a1e967e319712f9e4791948896c", null ]
];