{-# htermination (init :: (List a) -> (List a)) #-} import qualified Prelude data MyBool = MyTrue | MyFalse data List a = Cons a (List a) | Nil init :: (List a) -> (List a); init (Cons x Nil) = Nil; init (Cons x xs) = Cons x (init xs);
content may be truncated. 'popout' for larger text window.