def utf8.lead.high

bend-kit-protobuf@0.2.0.0 · protobuf.bend:688

import Base

688def utf8.lead.high(ok: Bool, b: U32, out: String) -> Result<&2, &2, Error, Utf8>:
689  match ok:
690    case False{}:
691      Fail{InvalidUtf8{}}
692    case True{}:
693      Done{utf8.lead.multi(b, out)}