{-# htermination (minBoundOrdering :: Ordering) #-} import qualified Prelude data MyBool = MyTrue | MyFalse data List a = Cons a (List a) | Nil data Ordering = LT | EQ | GT ; minBoundOrdering :: Ordering minBoundOrdering = LT;
content may be truncated. 'popout' for larger text window.