summaryrefslogtreecommitdiff
path: root/manual/src
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2022-12-20 06:17:34 +0100
committerGitHub <noreply@github.com>2022-12-20 06:17:34 +0100
commit016f5d4547b581c173888c5e127396a9e91a10a8 (patch)
tree1226aa2529639ef0f8721512fb40ff62ed117932 /manual/src
parentc3eadd944109a57bd77bde4be5a3dd99066c74d9 (diff)
downloadocaml-016f5d4547b581c173888c5e127396a9e91a10a8.tar.gz
Add type equality witness to the standard library (#11581)
Diffstat (limited to 'manual/src')
-rw-r--r--manual/src/library/stdlib-blurb.etex2
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/src/library/stdlib-blurb.etex b/manual/src/library/stdlib-blurb.etex
index 9e64269fff..b10c944cc9 100644
--- a/manual/src/library/stdlib-blurb.etex
+++ b/manual/src/library/stdlib-blurb.etex
@@ -117,6 +117,7 @@ be called from C \\
\subsubsection*{sss:stdlib-misc}{Misc:}
\begin{tabular}{lll}
"Fun" & p.~\stdpageref{Fun} & function values \\
+"Type" & p.~\stdpageref{Type} & type introspection \\
\end{tabular}
\end{latexonly}
@@ -177,6 +178,7 @@ be called from C \\
\stddocitem{String}{string operations}
\stddocitem{StringLabels}{string operations (with labels)}
\stddocitem{Sys}{system interface}
+\stddocitem{Type}{type introspection}
\stddocitem{Uchar}{Unicode characters}
\stddocitem{Unit}{unit values}
\stddocitem{Weak}{arrays of weak pointers}