~/jendhub

def check.ticks_of

bolt@1.27.0.0 · src/rules/style/wrap.bend:182

import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

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

Uses (7)

Used by (1)