ss="def record field"><a href="#type-t.copied_location" class="anchor"></a><code><span>copied_location : <span><span>(<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> * <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a>)</span> option</span>;</span></code></td></tr><tr id="type-t.from" class="anchored"><td class="def record field"><a href="#type-t.from" class="anchor"></a><code><span>from : <a href="../PulseAttribute/CopyOrigin/index.html#type-t">PulseAttribute.CopyOrigin.t