def Map.bit.chr

Base · base.bend:2647

import Base

2647def Map.bit.chr(c: Char, off: Nat) -> Char & Bool:
2648  match c off:
2649    case Chr{x} 0n:
2650      (Chr{x}, True{})
2651    case Chr{+x} 1n+b:
2652      (Chr{x}, Map.bit.u(x, Nat.sub(31n, b)))

Uses (7)

Used by (3)