>type</span> bound</code><code> = <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec type" id="type-kind"><a href="#type-kind" class="anchor"></a><code><span class="keyword">type</span> kind</code><code> = <a href="../../Eval/index.html#type-kind">Eval(B).kind</a></code><code> = </code><table class="variant"><tr id="type-kind.Strict" class="anchored"><td class="def constructor"><a href="#type-kind.Strict" class="anchor"></a><code>| </code><code><span class="constructor">Strict</span></code></t