changeset 15338 | 08519594b0e4 |
parent 15337 | 628d87767434 |
child 15339 | a7b603bbc1e6 |
--- a/doc-src/Tutorial/Datatype/lookup Mon Nov 29 11:12:19 2004 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,5 +0,0 @@ -consts lookup :: ('a,'v)trie => 'a list => 'v option -primrec "lookup t [] = value t" - "lookup t (a#as) = (case assoc (alist t) a of - None => None - | Some at => lookup at as)"