1 (*<*)
2 theory Option2 = Main:;
3 (*>*)
4
5 datatype 'a option = None | Some 'a
6
7 (*<*)
8 end
9 (*>*)