Tokens.width: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/tokens.bend as Tokens
Lines 85-87 of bolt@1.27.0.0/src/rules/tokens.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/tokens.bend&start_line=85&end_line=87

import Base

# a text's width in chars
def width(tt: String) -> U32:
  U32.from_nat(String.length(tt))

Uses (4):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat