mention Either in the manual

2020-09-03 22:24:37 +02:00 · 2020-09-03 22:24:37 +02:00 · de72be7c70
parent 1a8aa5428e
commit de72be7c70
1 changed files with 1 additions and 0 deletions
--- a/manual/manual/library/stdlib-blurb.etex
+++ b/manual/manual/library/stdlib-blurb.etex
@ -46,6 +46,7 @@ the above 4 modules \\
 "Int" & p.~\pageref{Int} & integer values \\
 "Option" & p.~\pageref{Option} & option values \\
 "Result" & p.~\pageref{Result} & result values \\
+"Either" & p.~\pageref{Either} & either values \\
 "Hashtbl" & p.~\pageref{Hashtbl} & hash tables and hash functions \\
 "Random" & p.~\pageref{Random} & pseudo-random number generator \\
 "Set" & p.~\pageref{Set} & sets over ordered types \\