1
consts lookup :: ('a,'v)trie => 'a list => 'v option
2
primrec "lookup t [] = value t"
3
"lookup t (a#as) = (case assoc (alist t) a of
4
None => None
5
| Some at => lookup at as)"