def lead0

cswap-bend-cli@0.1.0.0 · settings.bend:228

import cswap-bend-cli@0.1.0.0/settings.bend as Settings

import Base

228def lead0(s: String) -> Nat:
229  match s:
230    case SNil{}:
231      0n
232    case SCon{+c, +t}:
233      lead0.pick(Char.is_eq(c, '0'), lead0(t))

Uses (5)

Used by (1)

cswap-bend-cli@0.1.0.0/settings:sci