Line.width: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/line.bend as Line
Lines 106-112 of ezmcp@0.1.0.0/src/line.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/line.bend&start_line=106&end_line=112

import Base

# 1 for ASCII, 2 to 4 for a lead byte, 0 for a byte that starts nothing
def width(+byte: U32) -> Width:
  Bool.pick(Width, U32.is_lt(byte, 128), W1{},
    Bool.pick(Width, Bool.and(U32.is_ge(byte, 194), U32.is_le(byte, 223)), W2{},
      Bool.pick(Width, Bool.and(U32.is_ge(byte, 224), U32.is_le(byte, 239)), W3{},
        Bool.pick(Width, Bool.and(U32.is_ge(byte, 240), U32.is_le(byte, 244)), W4{},
          W0{}))))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=Width