AmlValue.val.lz: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_value.bend as AmlValue
Lines 308-322 of bend-osdev-acpi@0.1.1.0/aml_value.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_value.bend&start_line=308&end_line=322

import Base

# leading zeros dropped (one kept); z: the head is a zero with more after it
def val.lz(xs: List<&2, U32>, still: Bool, z: Bool) -> List<&2, U32>:
  match xs:
    case Nil{}:
      Nil{}
    case Con{h, +t}:
      match still:
        case True{}:
          match z:
            case True{}:
              val.lz(t, True{}, val.lz.z(t))
            case False{}:
              Con{h, val.lz(t, False{}, False{})}
        case False{}:
          Con{h, val.lz(t, False{}, False{})}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_value.bend&name=val.lz.z