="../State/index.html#type-t">State.t</a> <a href="index.html#type-pair">pair</a></span> <span>&#45;&gt;</span> <a href="index.html#type-sep">sep</a> <span>&#45;&gt;</span> <span><a href="index.html#type-field">field</a> list</span> * <span><span><span>(<a href="../State__Base/Exp/index.html#type-var">State__Base.Exp.var</a>, <a href="../Ast/index.html#type-no">Ast.no</a>)</span> <a href="../Exp/Typed/index.html#type-t">ExTy.t</a></span> list</span></code></dt><dt class="spec value" id="val-assn_to_exp"><a