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

import Base

def vs16_widen(widens: Bool, code: U32, join: Bool) -> WidthStep:
  match widens:
    case True{}: WidthStep{1n, EmojiBase{code, False{}, join}}
    case False{}: WidthStep{0n, EmojiBase{code, True{}, join}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=EmojiRun
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=WidthStep