def Nat.mul

import Base

692def Nat.mul(a: Nat, +b: Nat) -> Nat:
693  match a:
694    case 0n:
695      0n
696    case 1n+p:
697      Nat.add(b, Nat.mul(p, b))

Uses (2)