NatEx.hascasl revision b5b03751832cc37eb5be9409d9efba4882935611
b5b03751832cc37eb5be9409d9efba4882935611Christian Maederfree type Nat ::= Zero | Suc (prec : Nat)
b5b03751832cc37eb5be9409d9efba4882935611Christian Maederop f(x:Nat):Nat = Suc x