> = </code><table class="variant"><tr id="type-pnm_kind.Pnm_bounds" class="anchored"><td class="def constructor"><a href="#type-pnm_kind.Pnm_bounds" class="anchor"></a><code>| </code><code><span class="constructor">Pnm_bounds</span></code></td></tr><tr id="type-pnm_kind.Pnm_dangling" class="anchored"><td class="def constructor"><a href="#type-pnm_kind.Pnm_dangling" class="anchor"></a><code>| </code><code><span class="constructor">Pnm_dangling</span></code></td></tr></table></dt><dd><p>kind of precondition n