
diff -r b28bbb153603 -r d666f11ca2d4 doc-src/TutorialI/Trie/document/Trie.tex
--- a/doc-src/TutorialI/Trie/document/Trie.tex	Fri May 18 16:45:55 2001 +0200
+++ b/doc-src/TutorialI/Trie/document/Trie.tex	Fri May 18 17:18:43 2001 +0200
@@ -23,7 +23,8 @@
 \isacommand{primrec}\ {\isachardoublequote}alist{\isacharparenleft}Trie\ ov\ al{\isacharparenright}\ {\isacharequal}\ al{\isachardoublequote}%
 \begin{isamarkuptext}%
 \noindent
-Association lists come with a generic lookup function:%
+Association lists come with a generic lookup function.  Its result
+involves type \isa{option} because a lookup can fail:%
 \end{isamarkuptext}%
 \isacommand{consts}\ \ \ assoc\ {\isacharcolon}{\isacharcolon}\ {\isachardoublequote}{\isacharparenleft}{\isacharprime}key\ {\isacharasterisk}\ {\isacharprime}val{\isacharparenright}list\ {\isasymRightarrow}\ {\isacharprime}key\ {\isasymRightarrow}\ {\isacharprime}val\ option{\isachardoublequote}\isanewline
 \isacommand{primrec}\ {\isachardoublequote}assoc\ {\isacharbrackleft}{\isacharbrackright}\ x\ {\isacharequal}\ None{\isachardoublequote}\isanewline




