def Word.shr.pad

Base · base.bend:1302

1302def Word.shr.pad(n: Nat, w: Word(n)) -> Word(1n+n):
1303  match n:
1304    case 0n:
1305      WCon{False{}, w}
1306    case 1n+p:
1307      match w:
1308        case WCon{b, t}:
1309          WCon{b, Word.shr.pad(p, t)}