$module Palindrome; $use StdIO; $use Reverse; $func? IsPalindrome e.expr = ; IsPalindrome \{ /*empty*/ = ; t = ; t1 e2 t1 = ; }; $func? IsPalindrome2 e.expr = ; IsPalindrome2 e.expr = : e.expr; $func Main = e; Main = { > = ; ; };