module
Abt
.
Types
.
Nat
where
data
Nat
=
Z
|
S
!
Nat