***
***	RTA 2003 Maude 2.1 Demo:
***	2 Copies of the natural numbers.
***

fmod 2NAT is
  including NAT + NAT *
   (sort Zero to Zero',
    sort Nat to Nat',
    sort NzNat to NzNat',
    op 0 : -> Zero to z) .
endfm

red 6 * 7 .
red 6 * (7).Nat .
red (6 * 7).Nat' .
red z + 42 .
red 0 + 42 .