tual_precondition" class="anchored"><td class="def variant constructor"><a href="#type-inst.Iactual_precondition" class="anchor"></a><code><span>| </span><span><span class="constructor">Iactual_precondition</span></span></code></td></tr><tr id="type-inst.Ialloc" class="anchored"><td class="def variant constructor"><a href="#type-inst.Ialloc" class="anchor"></a><code><span>| </span><span><span class="constructor">Ialloc</span></span></code></td></tr><tr id="type-inst.Iformal" class="anchored"><td class="def 