.html#type-t">IR.Typ.t</a>;</code></td><td class="doc"><p>value returned by the translated statement</p></td></tr><tr id="type-trans_result.method_name" class="anchored"><td class="def field"><a href="#type-trans_result.method_name" class="anchor"></a><code>method_name : <span><a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> option</span>;</code></td><td class="doc"><p>in the specific case of translating a method call in C++, we get the method name called at the same time we get the <code>this</