~/jendhub

def Int.msb.go

bend-kit-int@0.2.0.0 · int.bend:17

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

17def Int.msb.go(n: Nat, b: Bool, w: Word(n)) -> Bool:
18  match n:
19    case 0n:
20      b
21    case 1n+p:
22      match w:
23        case WCon{h, t}:
24          Int.msb.go(p, h, t)

Uses (4)

Used by (1)