def Word.shl.out

Base · base.bend:1293

import Base

1293def Word.shl.out(n: Nat, c: Bool, w: Word(n)) -> Bool & Word(n):
1294  match n:
1295    case 0n:
1296      (c, WNil{})
1297    case 1n+p:
1298      match w:
1299        case WCon{b, t}:
1300          Word.shl.out.con(p, c, Word.shl.out(p, b, t))

Uses (8)

Used by (21)