var compensated__sum_8hpp = [ [ "serif::utils::CompensatedSum", "classserif_1_1utils_1_1_compensated_sum.html", "classserif_1_1utils_1_1_compensated_sum" ] ];