def Word.zero

Base · base.bend:1228

1228def Word.zero(n: Nat) -> Word(n):
1229  match n:
1230    case 0n:
1231      WNil{}
1232    case 1n+p:
1233      WCon{False{}, Word.zero(p)}