doc-src/IsarAdvanced/Codegen/Thy/examples/lookup.ML
author haftmann
Thu Jan 04 17:17:48 2007 +0100 (2007-01-04)
changeset 21994 dfa5133dbe73
parent 21993 4b802a9e0738
permissions -rw-r--r--
updated manual
     1 structure ROOT = 
     2 struct
     3 
     4 structure Codegen = 
     5 struct
     6 
     7 fun lookup ((k, v) :: xs) l =
     8   (if ((k : string) = l) then SOME v else lookup xs l)
     9   | lookup [] l = NONE;
    10 
    11 end; (*struct Codegen*)
    12 
    13 end; (*struct ROOT*)