)</span> <span>&#45;&gt;</span> unit</code></dt><dd><p>Check the receiver of a virtual call.</p></dd></dl><dl><dt class="spec type" id="type-resolved_param"><a href="#type-resolved_param" class="anchor"></a><code><span class="keyword">type</span> resolved_param</code><code> = </code><code>{</code><table class="record"><tr id="type-resolved_param.num" class="anchored"><td class="def field"><a href="#type-resolved_param.num" class="anchor"></a><code>num : int;</code></td></tr><tr id="type-resolved_param.forma