def blanks

yaml-for-bend@0.1.1.0 · scan.bend:1238

import yaml-for-bend@0.1.1.0/scan.bend as Scan

import Base

1238def blanks(s: String) -> Nat:
1239  match s:
1240    case SNil{}:
1241      0n
1242    case SCon{+c, t}:
1243      count.or(is_blank(c), u => 1n+blanks(t))

Uses (4)

Used by (3)