<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Reins" rel="Chapter" href="Reins.html"><title>Reins.TreeSetIterator.S</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> ordering = <span class="constructor">PreOrder</span> <span class="keywordsign">|</span> <span class="constructor">InOrder</span> <span class="keywordsign">|</span> <span class="constructor">PostOrder</span><br> <span class="keyword">type</span> direction_ =<br> <span class="constructor">Ascending</span> <span class="keyword">of</span> <span class="constructor">Reins</span>.<span class="constructor">TreeSetIterator</span>.<span class="constructor">S</span>.ordering<br> <span class="keywordsign">|</span> <span class="constructor">Descending</span> <span class="keyword">of</span> <span class="constructor">Reins</span>.<span class="constructor">TreeSetIterator</span>.<span class="constructor">S</span>.ordering<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a elt<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a cursor<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a collection<br> <span class="keyword">type</span> direction = direction_<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a traversal =<br> <span class="constructor">Traverse_All</span><br> <span class="keywordsign">|</span> <span class="constructor">Traverse_If</span> <span class="keyword">of</span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool)<br> <span class="keywordsign">|</span> <span class="constructor">Traverse_While</span> <span class="keyword">of</span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool)<br> <span class="keyword">val</span> create : direction <span class="keywordsign">-></span> <span class="keywordsign">'</span>a elt traversal <span class="keywordsign">-></span> <span class="keywordsign">'</span>a collection <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> from_cursor : direction <span class="keywordsign">-></span> <span class="keywordsign">'</span>a elt traversal <span class="keywordsign">-></span> <span class="keywordsign">'</span>a cursor <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> value : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a elt option<br> <span class="keyword">val</span> get_value : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a elt<br> <span class="keyword">val</span> at_end : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> at_beg : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> has_next : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> next : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> has_prev : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> prev : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> goto_beg : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> goto_end : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> flip : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> iter : (<span class="keywordsign">'</span>a elt <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b elt <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">end</span></code></body></html>