ints;</div>
<div class="line">        <span class="keyword">auto</span> final_state = <a class="code" href="group__group-_logical.html#ga08a767b86c330cac67daa891406d2730">hana::while_</a>(<a class="code" href="group__group-_orderable.html#gad510011602bdb14686f1c4ec145301c9">hana::less</a>.than(10_c), 0_c, [&amp;](<span class="keyword">auto</span> i) {</div>
<div class="line">            ints.push_back(i);</div>
<div class="line">            <span class="keywordflow">return</span> i + 1_c;</div>
<div class="