... <span class="keyword">end</span></code></dt><dd><p>A module for type that have a concept of length in the rngMap context</p></dd></dl><dl><dt class="spec module" id="module-PairLenObject"><a href="#module-PairLenObject" class="anchor"></a><code><span class="keyword">module</span> <a href="PairLenObject/index.html">PairLenObject</a> : <span class="keyword">functor</span> (<a href="PairLenObject/argument-1-Obj/index.html">Obj</a> : <a href="index.html#module-type-Object">Object</a>) <span>&#45;&gt;</span>