/a> &#x00BB; <a href="../index.html">Dw</a> &#x00BB; Loc</nav><h1>Module <code>Dw.Loc</code></h1><p>This module represent architectural locations. Locations in DWARF information are represented as a little stack language (represented as <a href="index.html#type-dwop"><code>dwop</code></a><code> list</code>) which describes how to compute the target value from the current concrete state. This computation can be arbitrarily complex, for example take half of the value from the high bits of a register and then 