span> <a href="#type-state">state</a> * <a href="Valuation/index.html#type-t">Valuation.t</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p><code>map_state_attr f s</code> returns the LTSA obtained by replacing each pair of state and associated attributes <code>(q,a)</code> by <code>f (q,a)</code> in <code>s</code>. As for <code>map_state</code>, the result is u