def Word.shl.put

Base · base.bend:1271

1271def Word.shl.put(n: Nat, c: Bool, w: Word(n)) -> Word(n):
1272  match n:
1273    case 0n:
1274      WNil{}
1275    case 1n+p:
1276      match w:
1277        case WCon{b, t}:
1278          WCon{c, Word.shl.put(p, b, t)}