div class="spec-doc"><p><code>lval_vcd_repr l</code> should return a representation of <em>l-value</em> <code>l</code> to be used in a VCD trace file. If <code>l</code> is a simple variable, this is simply its name. Other cases will depend on the <em>l-value</em> definition and the version of VCD format used. See for example the definition of <code>lval_vcd_repr</code> for the <code>full</code> guest language.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-vars_of_lval"><a hr