Cli.utf8_bytes: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 7997-8005 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7997&end_line=8005

import Base

# Scalar x's UTF-8, for x from 80: 2 bytes below 800, 3 below 10000, else 4.
def utf8_bytes(two: Bool, three: Bool, +x: U32) -> List<&2, U32>:
  match two three:
    case True{} _: [(192 + x / 64 : U32), cont_byte(x)]
    case False{} True{}:
      [(224 + x / 4096 : U32), cont_byte((x / 64 : U32)), cont_byte(x)]
    case False{} False{}:
      [(240 + x / 262144 : U32), cont_byte((x / 4096 : U32)),
        cont_byte((x / 64 : U32)), cont_byte(x)]

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=cont_byte