def dec.drop.out
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
411# the output after one character, reversed
412def dec.drop.out(lead: Bool, +hh: Char, out: List<&2, Char>) -> List<&2, Char>:
413 match lead:
414 case False{}:
415 hh <> out
416 case True{}:
417 dec.drop.outz(Char.is_eq(hh, '0'), hh, out)