We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 0989611 + afb1968 commit dcf7714Copy full SHA for dcf7714
1 file changed
doc/stdlib/index.html
@@ -127,7 +127,7 @@ <h2>Axiomatized OCaml Primitives</h2>
127
<div id="Uint63"><dt><a href="Stdlib.Numbers.Cyclic.Int63.Uint63.html">Uint63</a></dt>
128
<dd>OCaml 63-bit unsigned integers and axioms relating them to <code><a href="../corelib/Corelib.Numbers.BinNums.html#Z">Z</a></code>.</dd>
129
</div>
130
- <div id="Sint63"><dt><a href="Stdlib.Numbers.Cyclic.Int63.Uint63.html">Sint63</a></dt>
+ <div id="Sint63"><dt><a href="Stdlib.Numbers.Cyclic.Int63.Sint63.html">Sint63</a></dt>
131
<dd>OCaml 63-bit signed integers and axioms relating them to <code><a href="../corelib/Corelib.Numbers.BinNums.html#Z">Z</a></code>.</dd>
132
133
<div id="Floats"><dt><a href="Stdlib.Floats.Floats.html">Floats</a></dt>
0 commit comments