EmergingEztoml.dec.drop: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 427-433 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=427&end_line=433

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop.end
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop.lead
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=dec.drop.out