EmergingEztoml.dec.drop.end: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 419-425 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=419&end_line=425

import Base

# the numeral, or 0 when every digit was zero
def dec.drop.end(lead: Bool, out: List<&2, Char>) -> String:
  match lead:
    case True{}:
      "0"
    case False{}:
      buf.str(out)

Uses (5):
  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=buf.str