liquidhaskell-0.8.0.0: tests/pos/recursion0.hs

module Recursion where


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