<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.Make</title> </head> <body> <code class="code"><span class="keyword">functor</span> (<span class="constructor">T</span> : <span class="constructor">Sets</span>.<span class="constructor">Set_</span>) <span class="keywordsign">-></span><br> <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_ = <span class="constructor">Ascending</span> <span class="keyword">of</span> ordering <span class="keywordsign">|</span> <span class="constructor">Descending</span> <span class="keyword">of</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 = <span class="keywordsign">'</span>a <span class="constructor">T</span>.elt_<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a cursor = <span class="keywordsign">'</span>a <span class="constructor">T</span>.cursor_<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a collection = <span class="keywordsign">'</span>a <span class="constructor">T</span>.set<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>