~/jendhub

def counts_text

bend-visgraph@2.0.0.0 · src/report.bend:90

import bend-visgraph@2.0.0.0/src/report.bend as Report
import Base

90def counts_text(f: Nat, +share: Bool, +n: U32, r: Array<U32> & U32, +k: U32, acc: String) -> String:
91  match f:
92    case 0n:
93      (c, +v) = r
94      count_line(U32.is_zero(v), share, k, v, n, acc)
95    case 1n+q:
96      (c, +v) = r
97      counts_text(q, share, n, Array.get(U32, c, (k - 1 : U32)), (k - 1 : U32), count_line(U32.is_zero(v), share, k, v, n, acc))

Uses (11)

Used by (1)