var fwd_2minus_8hpp =
[
    [ "minus", "fwd_2minus_8hpp.html#ga2020c526324f361a2b990fe8d1b07c20", null ]
];