def dec.drop

emerging-eztoml@0.9.0.0 · main.bend:427

import Base

427# drop leading zeros from a most-significant-first digit list
428def dec.drop(cs: List<&2, Char>, +lead: Bool, out: List<&2, Char>) -> String:
429  match cs:
430    case []:
431      dec.drop.end(lead, out)
432    case +h <> t:
433      dec.drop(t, dec.drop.lead(lead, h), dec.drop.out(lead, h, out))