def W64.bits.cat

bend-osdev-word64@0.1.1.0 · word64.bend:50

import Base

50def W64.bits.cat(m: Nat, n: Nat, a: Word(m), b: Word(n)) -> Word(Nat.add(m, n)):
51  match m:
52    case 0n:
53      b
54    case 1n+p:
55      match a:
56        case WCon{h, t}:
57          WCon{h, W64.bits.cat(p, n, t, b)}