diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2022-12-20 06:17:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-20 06:17:34 +0100 |
commit | 016f5d4547b581c173888c5e127396a9e91a10a8 (patch) | |
tree | 1226aa2529639ef0f8721512fb40ff62ed117932 /manual/src | |
parent | c3eadd944109a57bd77bde4be5a3dd99066c74d9 (diff) | |
download | ocaml-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.etex | 2 |
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} |