ename decltype(hana::hash(std::declval&lt;T&gt;()))::type&gt;,</div><div class="line">        Set</div><div class="line">    &gt;</div><div class="line">{ };</div><div class="line"></div><div class="line"><span class="keyword">using</span> Set = set&lt;hana::int_&lt;1&gt;, hana::ulong&lt;2&gt;, hana::type&lt;char&gt;&gt;;</div><div class="line"></div><div class="line">static_assert(<a class="code" href="group__group-Searchable.html#ga38e7748956cbc9f3d9bb035ac8577906">contains</a>&lt;Set, hana::int_&lt;1&gt;