def Int.msb
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
26def Int.msb(n: Nat, w: Word(n)) -> Bool:
27 Int.msb.go(n, False{}, w)
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
26def Int.msb(n: Nat, w: Word(n)) -> Bool:
27 Int.msb.go(n, False{}, w)