~/jendhub

def check.gt_count

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

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

173# how many `>` a run holds
174def check.gt_count(cs: List<&2, Char>) -> Nat:
175  match cs:
176    case Nil{}:
177      0n
178    case Con{+c, t}:
179      +more = check.gt_count(t)
180      Bool.pick(Nat, Char.is_eq(c, '>'), Succ{more}, more)

Uses (5)

Used by (1)