1
NatSum = Main +
2
consts sum :: nat => nat
3
primrec
4
"sum 0 = 0"
5
"sum (Suc n) = Suc n + sum n"
6
end