equal
deleted
inserted
replaced
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*) |
|