Wrap.check.ticks_of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
Lines 182-184 of bolt@1.27.0.0/src/rules/style/wrap.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&start_line=182&end_line=184

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# the angle-closes in the text, else none
def check.ticks_of(+tx: String) -> Nat:
  Lazy.stop(Nat, Bool.not(check.all_gt(tx)), 0n, _u => check.gt_count(String.to_list(tx)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_list
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.all_gt
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.gt_count