diff options
author | Stephane Glondu <steph@glondu.net> | 2015-05-18 17:29:08 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2015-05-18 17:29:08 +0200 |
commit | 90ee23cb84d7a394d7fe97f5c153079c6a06c351 (patch) | |
tree | 43be1208ac172171c94eaa0da44fb2f97324f014 /doc/Utils.html | |
parent | cdfdfce5f08e397577ff78f20cd8f86e366fdff7 (diff) |
Imported Upstream version 2.04
Diffstat (limited to 'doc/Utils.html')
-rw-r--r-- | doc/Utils.html | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/Utils.html b/doc/Utils.html index b10be68..d9d6e0e 100644 --- a/doc/Utils.html +++ b/doc/Utils.html @@ -27,13 +27,14 @@ <link title="Version" rel="Chapter" href="Version.html"><title>Utils</title> </head> <body> -<div class="navbar"> <a href="index.html">Up</a> - <a href="Time_Zone.html">Next</a> +<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a> + <a class="post" href="Time_Zone.html" title="Time_Zone">Next</a> </div> -<center><h1>Module <a href="type_Utils.html">Utils</a></h1></center> -<br> -<pre><span class="keyword">module</span> Utils: <code class="code"><span class="keyword">sig</span></code> <a href="Utils.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>Some utilities.<br> +<h1>Module <a href="type_Utils.html">Utils</a></h1> +<pre><span class="keyword">module</span> Utils: <code class="code"><span class="keyword">sig</span></code> <a href="Utils.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info"> +Some utilities.<br> <b>Since</b> 2.0<br> +</div> <hr width="100%"> <pre><span class="keyword">module type</span> <a href="Utils.Comparable.html">Comparable</a> = <code class="code"><span class="keyword">sig</span></code> <a href="Utils.Comparable.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info"> Interface for comparable and hashable types. |