return a <code><a class="el" href="structboost_1_1hana_1_1type.html" title="C++ type in value-level representation. ">hana::type</a></code>. Furthermore, for any two <code>Hashable</code> objects <code>x</code> and <code>y</code>, it must be the case that </p><div class="fragment"><div class="line">x == y   implies   <a class="code" href="group__group-Hashable.html#ga6e906f44f47b210615491385e5c8a7b5">hash</a>(x) == <a class="code" href="group__group-Hashable.html#ga6e906f44f47b210615491385e5c8a7b5">hash</a>