~/jendhub

def utf8.lead.high

bend-kit-encoding@0.5.0.0 · encoding.bend:86

import bend-kit-encoding@0.5.0.0/encoding.bend as Encoding
import Base

86def utf8.lead.high(+b: U32, out: String, bad: Bool) -> Utf8:
87  match bad:
88    case True{}:
89      Utf8{0, 128, 191, 0, utf8.bad(out)}
90    case False{}:
91      utf8.lead.multi(b, out)

Uses (6)

Used by (1)