Frame.width: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/frame.bend as Frame
Lines 62-66 of bolt@1.27.0.0/src/lsp/frame.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/frame.bend&start_line=62&end_line=66

import Base

# how many bytes a code point takes
def width(+xx: U32) -> U32:
  Bool.pick(U32, U32.is_lt(xx, 128), 1,
    Bool.pick(U32, U32.is_lt(xx, 2048), 2,
      Bool.pick(U32, U32.is_lt(xx, 65536), 3, 4)))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt