 division at given path position</p><span class="comment-delim">*)</span></td></tr><tr id="type-t.Aobjc_null" class="anchored"><td class="def variant constructor"><a href="#type-t.Aobjc_null" class="anchor"></a><code><span>| </span><span><span class="constructor">Aobjc_null</span></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>attributed exp is null due to a call to a method with given path as null receiver</p><span class="comment-delim">*)</span></td></tr><tr id="type-t.Aretv