liquidhaskell-0.6.0.0: tests/pos/recursion0.hs

module Main where

{-@ total :: Nat -> Nat @-}
total :: Int -> Int 
total 0 = 0
total n = 1 + total (n-1)