le</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">mpl</span><span class="special">::</span><span class="identifier">and_</span><span class="special">&lt;</span> <span class="identifier">is_total</span><span class="special">&lt;</span> <a class="link" href="map.html" title="Class template map">type</a> <span class="special">&gt;</span><span class="special">,</span> <span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifie