keyword">module</span> <a href="ModeledRange/index.html">ModeledRange</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p><code>ModeledRange</code> represents how many times the interval value can be updated by modeled functions. This domain is to support the case where there are mismatches between value of a control variable and actual number of loop iterations. For example,</p></div></div><div class="odoc-spec"><div class="sp