 the <code>:=</code> symbol in assignations. A guest language will typically have <em>variables</em> as l-values but can also support more elaborated forms, such as array indices (ex: <code>a[i]:=...</code>) or record fields (ex: <code>r.f := ...</code>).</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mk_simple_lval"><a href="#val-mk_simple_lval" class="anchor"></a><code><span><span class="keyword">val</span> mk_simple_lval : <span><a href="../../../../../Ident/index.html#typ