IntegerAndNatural (Int, N):[Table of Contents] [Index]trait% Conversions between Int's and N'sincludesInteger (Int), Natural (N)introducesint: N -> Int nat: Int -> Nassertsforalln: N int(0) == 0; int(succ(n)) == succ(int(n)); nat(int(n)) == n