liquidhaskell-0.9.0.2.1: tests/pos/Recursion0.hs

module Recursion0 where


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