1 (*<*)
2 theory unfoldnested = Main:;
3 (*>*)
4 datatype ('a,'b)"term" = Var 'a | App 'b "('a,'b)term_list"
5 and ('a,'b)term_list = Nil | Cons "('a,'b)term" "('a,'b)term_list"
6 (*<*)
7 end
8 (*>*)