def Int.put_msb.bit

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

import Base

29def Int.put_msb.bit(p: Nat, v: Bool, b: Bool) -> Bool:
30  match p:
31    case 0n:
32      v
33    case 1n+q:
34      b

Uses (2)