var fwd_2fold__left_8hpp =
[
    [ "fold_left", "fwd_2fold__left_8hpp.html#ga38c6b3f6b1cbadb9b8432a05ff16b7d2", null ]
];