Say.brief.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/say.bend as Say
Lines 25-32 of ezx@1.11.0.0/src/share/say.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/share/say.bend&start_line=25&end_line=32

import Base

# the first twelve characters of a commit, which is enough to tell one from
# the next. A shorter name is already short.
def brief.go(short: Bool, +rev: String) -> String:
  match short:
    case True{}:
      rev
    case False{}:
      String.take(rev, 12n)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take