def Word.shl

Base · base.bend:1280

1280def Word.shl(n: Nat, w: Word(n)) -> Word(n):
1281  match n:
1282    case 0n:
1283      WNil{}
1284    case 1n+p:
1285      match w:
1286        case WCon{b, t}:
1287          WCon{False{}, Word.shl.put(p, b, t)}