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