Say.brief: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/say.bend as Say
Lines 34-36 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=34&end_line=36

import Base

# a commit as a line shows it
def brief(+rev: String) -> String:
  brief.go(Nat.is_le(String.length(rev), 12n), rev)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=brief.go