var fwd_2or_8hpp =
[
    [ "or_", "fwd_2or_8hpp.html#ga68c00efbeb69339bfa157a78ebdd3f87", null ]
];