def W64.bits.hi

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

import Base

41def W64.bits.hi(m: Nat, n: Nat, w: Word(Nat.add(m, n))) -> Word(n):
42  match m:
43    case 0n:
44      w
45    case 1n+p:
46      match w:
47        case WCon{h, t}:
48          W64.bits.hi(p, n, t)