1var fwd_2fold__left_8hpp = 2[ 3 [ "fold_left", "fwd_2fold__left_8hpp.html#ga38c6b3f6b1cbadb9b8432a05ff16b7d2", null ] 4];