def Word.shr

Base · base.bend:1311

1311def Word.shr(n: Nat, w: Word(n)) -> Word(n):
1312  match n:
1313    case 0n:
1314      WNil{}
1315    case 1n+p:
1316      match w:
1317        case WCon{b, t}:
1318          Word.shr.pad(p, t)