Compile-time value of an integral type.">hana::integral_constant</a></code></p>
<h2><a class="anchor" id="autotoc_md133"></a>
Free model for arithmetic data types</h2>
<p>A data type <code>T</code> is arithmetic if <code>std::is_arithmetic&lt;T&gt;::value</code> is true. For an arithmetic data type <code>T</code>, a model of <code>Logical</code> is provided automatically by using the result of the builtin implicit conversion to <code>bool</code> as a truth value. Specifically, the minimal complete definitio