def Word

Base · base.bend:57

57def Word(n: Nat) -> Data:
58  match n:
59    case 0n:
60      Word.Nil
61    case 1n+p:
62      Word.Con<p>