liquidhaskell-0.8.6.0: tests/pos/T1198.2.hs
module Term where
{-@ data Tree [sz] @-}
data Tree a = Bin | Node (Tree a)
{-@ measure sz @-}
sz :: Tree a -> Int
sz Bin = 0
sz (Node t1) = 1 + sz t1module Term where
{-@ data Tree [sz] @-}
data Tree a = Bin | Node (Tree a)
{-@ measure sz @-}
sz :: Tree a -> Int
sz Bin = 0
sz (Node t1) = 1 + sz t1