Report - Die De nition eines Typen kann rekursiv sein, d.h. Typ ... · Polymorphe Typen datatype ’a List = Nil j Cons of (’a ’a List ); Der Typ Listist parametrisiert Listist ein (post

Please pass captcha verification before submit form