← Back to branch summary

~ubuntu-branches/ubuntu/karmic/ocaml-doc/karmic

« back to all changes in this revision

Viewing changes to ocaml.html/libref/Map.OrderedType.html

  • Committer: Bazaar Package Importer
  • Author(s): Vanicat Rémi
  • Date: 2002-02-05 10:51:43 UTC
  • Revision ID: james.westby@ubuntu.com-20020205105143-a061tunf8tev07ne
Tags: 3.04-4
* New debian maintainer
* Split doc-base file
* Move to non-free
* Change the copyright file to the copyright of the documentation
* remove FAQs (their license prohibit their redistribution)
* corrected the examples

Show diffs side-by-side

added added

removed removed

Lines of Context:
ocaml.html/libref/Map.OrderedType.html
 
1
<html>
 
2
<head>
 
3
<link rel="stylesheet" href="style.css" type="text/css">
 
4
<link rel="Start" href="index.html">
 
5
<link rel="next" href="Map.S.html">
 
6
<link rel="Up" href="Map.html">
 
7
<link title="Index of types" rel="Appendix" href="index_types.html">
 
8
<link title="Index of exceptions" rel="Appendix" href="index_exceptions.html">
 
9
<link title="Index of values" rel="Appendix" href="index_values.html">
 
10
<link title="Index of class attributes" rel="Appendix" href="index_attributes.html">
 
11
<link title="Index of class methods" rel="Appendix" href="index_methods.html">
 
12
<link title="Index of classes" rel="Appendix" href="index_classes.html">
 
13
<link title="Index of class types" rel="Appendix" href="index_class_types.html">
 
14
<link title="Index of modules" rel="Appendix" href="index_modules.html">
 
15
<link title="Index of module types" rel="Appendix" href="index_module_types.html">
 
16
<link title="Arg" rel="Chapter" href="Arg.html">
 
17
 
 
18
<link title="Arith_status" rel="Chapter" href="Arith_status.html">
 
19
 
 
20
<link title="Array" rel="Chapter" href="Array.html">
 
21
 
 
22
<link title="ArrayLabels" rel="Chapter" href="ArrayLabels.html">
 
23
 
 
24
<link title="Big_int" rel="Chapter" href="Big_int.html">
 
25
 
 
26
<link title="Bigarray" rel="Chapter" href="Bigarray.html">
 
27
 
 
28
<link title="Buffer" rel="Chapter" href="Buffer.html">
 
29
 
 
30
<link title="Callback" rel="Chapter" href="Callback.html">
 
31
 
 
32
<link title="Char" rel="Chapter" href="Char.html">
 
33
 
 
34
<link title="Condition" rel="Chapter" href="Condition.html">
 
35
 
 
36
<link title="Dbm" rel="Chapter" href="Dbm.html">
 
37
 
 
38
<link title="Digest" rel="Chapter" href="Digest.html">
 
39
 
 
40
<link title="Dynlink" rel="Chapter" href="Dynlink.html">
 
41
 
 
42
<link title="Event" rel="Chapter" href="Event.html">
 
43
 
 
44
<link title="Filename" rel="Chapter" href="Filename.html">
 
45
 
 
46
<link title="Format" rel="Chapter" href="Format.html">
 
47
 
 
48
<link title="Gc" rel="Chapter" href="Gc.html">
 
49
 
 
50
<link title="Genlex" rel="Chapter" href="Genlex.html">
 
51
 
 
52
<link title="Graphics" rel="Chapter" href="Graphics.html">
 
53
 
 
54
<link title="GraphicsX11" rel="Chapter" href="GraphicsX11.html">
 
55
 
 
56
<link title="Hashtbl" rel="Chapter" href="Hashtbl.html">
 
57
 
 
58
<link title="Int32" rel="Chapter" href="Int32.html">
 
59
 
 
60
<link title="Int64" rel="Chapter" href="Int64.html">
 
61
 
 
62
<link title="Lazy" rel="Chapter" href="Lazy.html">
 
63
 
 
64
<link title="Lexing" rel="Chapter" href="Lexing.html">
 
65
 
 
66
<link title="List" rel="Chapter" href="List.html">
 
67
 
 
68
<link title="ListLabels" rel="Chapter" href="ListLabels.html">
 
69
 
 
70
<link title="Map" rel="Chapter" href="Map.html">
 
71
 
 
72
<link title="Marshal" rel="Chapter" href="Marshal.html">
 
73
 
 
74
<link title="MoreLabels" rel="Chapter" href="MoreLabels.html">
 
75
 
 
76
<link title="Mutex" rel="Chapter" href="Mutex.html">
 
77
 
 
78
<link title="Nativeint" rel="Chapter" href="Nativeint.html">
 
79
 
 
80
<link title="Num" rel="Chapter" href="Num.html">
 
81
 
 
82
<link title="Obj" rel="Chapter" href="Obj.html">
 
83
 
 
84
<link title="Oo" rel="Chapter" href="Oo.html">
 
85
 
 
86
<link title="Parsing" rel="Chapter" href="Parsing.html">
 
87
 
 
88
<link title="Pervasives" rel="Chapter" href="Pervasives.html">
 
89
 
 
90
<link title="Printexc" rel="Chapter" href="Printexc.html">
 
91
 
 
92
<link title="Printf" rel="Chapter" href="Printf.html">
 
93
 
 
94
<link title="Queue" rel="Chapter" href="Queue.html">
 
95
 
 
96
<link title="Random" rel="Chapter" href="Random.html">
 
97
 
 
98
<link title="Set" rel="Chapter" href="Set.html">
 
99
 
 
100
<link title="Sort" rel="Chapter" href="Sort.html">
 
101
 
 
102
<link title="Stack" rel="Chapter" href="Stack.html">
 
103
 
 
104
<link title="StdLabels" rel="Chapter" href="StdLabels.html">
 
105
 
 
106
<link title="Str" rel="Chapter" href="Str.html">
 
107
 
 
108
<link title="Stream" rel="Chapter" href="Stream.html">
 
109
 
 
110
<link title="String" rel="Chapter" href="String.html">
 
111
 
 
112
<link title="StringLabels" rel="Chapter" href="StringLabels.html">
 
113
 
 
114
<link title="Sys" rel="Chapter" href="Sys.html">
 
115
 
 
116
<link title="Thread" rel="Chapter" href="Thread.html">
 
117
 
 
118
<link title="ThreadUnix" rel="Chapter" href="ThreadUnix.html">
 
119
 
 
120
<link title="Tk" rel="Chapter" href="Tk.html">
 
121
 
 
122
<link title="Unix" rel="Chapter" href="Unix.html">
 
123
 
 
124
<link title="UnixLabels" rel="Chapter" href="UnixLabels.html">
 
125
 
 
126
<link title="Weak" rel="Chapter" href="Weak.html">
 
127
<title>Map.OrderedType</title>
 
128
</head>
 
129
<body>
 
130
<div class="navbar">&nbsp;<a href="Map.html">Up</a>
 
131
&nbsp;<a href="Map.S.html">Next</a>
 
132
</div>
 
133
<center><h1>Module type <a href="type_Map.OrderedType.html">Map.OrderedType</a></h1></center>
 
134
<br>
 
135
<pre><span class="keyword">module type</span> OrderedType : <code><span class="keyword">sig</span> ... <span class="keyword">end</span></code></pre><div class="info">
 
136
Input signature of the functor <a href="Map.Make.html"><code><span class="constructor">Map</span>.<span class="constructor">Make</span></code></a>.<br>
 
137
</div>
 
138
<hr width="100%">
 
139
<br><code><span class="keyword">type</span> <a name="TYPEt"></a>t </code>
 
140
<div class="info">
 
141
The type of the map keys.<br>
 
142
</div>
 
143
<br>
 
144
<pre><span class="keyword">val</span> <a name="VALcompare"></a>compare : <code class="type"><a href="Map.OrderedType.html#TYPEt">t</a> -> <a href="Map.OrderedType.html#TYPEt">t</a> -> int</code></pre><div class="info">
 
145
A total ordering function over the keys.
 
146
          This is a two-argument function <code>f</code> such that
 
147
          <code>f e1 e2</code> is zero if the keys <code>e1</code> and <code>e2</code> are equal,
 
148
          <code>f e1 e2</code> is strictly negative if <code>e1</code> is smaller than <code>e2</code>,
 
149
          and <code>f e1 e2</code> is strictly positive if <code>e1</code> is greater than <code>e2</code>.
 
150
          Example: a suitable ordering function is
 
151
          the generic structural comparison function <a href="Pervasives.html#VALcompare"><code><span class="constructor">Pervasives</span>.compare</code></a>.<br>
 
152
</div>
 
153
</html>
 
 
b'\\ No newline at end of file'