var fwd_2fold_8hpp =
[
    [ "fold", "fwd_2fold_8hpp.html#gaa0fde17f3b947a0678a1c0c01232f2cc", null ]
];