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