def utf8.lead
bend-kit-websocket@0.4.0.0 · websocket.bend:605
import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
import Base
605def utf8.lead(+b: U32) -> U32:
606 Bool.pick(U32, U32.is_lt(b, 128), st(0, 128, 191),
607 Bool.pick(U32, U32.is_lt(b, 194), 255,
608 Bool.pick(U32, U32.is_lt(b, 224), st(1, 128, 191),
609 Bool.pick(U32, U32.is_eq(b, 224), st(2, 160, 191),
610 Bool.pick(U32, U32.is_eq(b, 237), st(2, 128, 159),
611 Bool.pick(U32, U32.is_lt(b, 240), st(2, 128, 191),
612 Bool.pick(U32, U32.is_eq(b, 240), st(3, 144, 191),
613 Bool.pick(U32, U32.is_lt(b, 244), st(3, 128, 191),
614 Bool.pick(U32, U32.is_eq(b, 244), st(3, 128, 143), 255)))))))))