ef="group__group-Product.html#ga7bb979d59ffc3ab862cb7d9dc7730077">hana::second</a>(a)(john);</div><div class="line">        })</div><div class="line">    );</div><div class="line"></div><div class="line">    <span class="comment">// the above is equivalent to:</span></div><div class="line">    <a class="code" href="group__group-assertions.html#ga29b2b21ffa5513e5b706c50ffee980af">BOOST_HANA_RUNTIME_CHECK</a>(<a class="code" href="group__group-Comparable.html#gacaf1ebea6b3ab96ac9dcb82f0e64e547">hana::equal</a