Utf8.Utf8.lead: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/utf8.bend as Utf8
Lines 34-37 of bend-kube-runtime@0.2.0.0/src/utf8.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/utf8.bend&start_line=34&end_line=37

import Base

# The lead byte's class: 0 ASCII, 1..3 continuation count, 4 invalid.
def Utf8.lead(+b: U32) -> U32:
  Utf8.lead.go(b, U32.is_lt(b, 128), U32.is_lt(b, 194), U32.is_lt(b, 224),
    U32.is_lt(b, 240), U32.is_lt(b, 245))

Uses (3):
  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
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/utf8.bend&name=Utf8.lead.go