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*)