def drop0

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

import Base

66# Leading '0' characters dropped.
67def drop0(s: String) -> String:
68  match s:
69    case SNil{}:
70      SNil{}
71    case SCon{+c, +t}:
72      drop0.pick(Char.is_eq(c, '0'), c, t, drop0(t))