/a><code>exp : <a href="../../Absint__HilExp/AccessExpression/index.html#type-t">AccessExpression.t</a>;</code></td></tr><tr id="type-t.pname" class="anchored"><td class="def field"><a href="#type-t.pname" class="anchor"></a><code>pname : <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr></table><code>}</code></td><td class="doc"><p>Write to container object</p></td></tr><tr id="type-t.InterfaceCall" class="anchored"><td class="def constructor"><a href="#type-t.InterfaceCall" 