1
structure ROOT =
2
struct
3
4
structure Codegen =
5
6
7
val arbitrary_option : 'a option = NONE;
8
9
fun dummy_option [] = arbitrary_option
10
| dummy_option (x :: xs) = SOME x;
11
12
end; (*struct Codegen*)
13
14
end; (*struct ROOT*)