ss="code" href="group__group-Foldable.html#ga38c6b3f6b1cbadb9b8432a05ff16b7d2">hana::fold_left</a>(types, hana::int_c&lt;0&gt;, [](<span class="keyword">auto</span> <a class="code" href="group__group-Foldable.html#ga3159cfa41be18a396926741b0a3fdefd">count</a>, <span class="keyword">auto</span> t) {</div><div class="line">    <span class="keywordflow">return</span> <a class="code" href="group__group-Logical.html#gafd655d2222367131e7a63616e93dd080">hana::if_</a>(hana::trait&lt;std::is_floating_point&gt;(t),</