Enc.points.skip: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/enc.bend as Enc
Lines 84-93 of bolt@1.27.0.0/src/lsp/enc.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&start_line=84&end_line=93

import Base

# the units left after a char, from 1+p units: p after a narrow one, one
# fewer after a wide one (none when the offset falls inside its pair)
def points.skip(isw: Bool, pp: Nat) -> Nat:
  match isw pp:
    case True{} 0n:
      0n
    case True{} 1n+q:
      q
    case False{} _:
      pp

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat