def val.lz

bend-osdev-acpi@0.1.1.0 · aml_value.bend:308

import Base

308# leading zeros dropped (one kept); z: the head is a zero with more after it
309def val.lz(xs: List<&2, U32>, still: Bool, z: Bool) -> List<&2, U32>:
310  match xs:
311    case Nil{}:
312      Nil{}
313    case Con{h, +t}:
314      match still:
315        case True{}:
316          match z:
317            case True{}:
318              val.lz(t, True{}, val.lz.z(t))
319            case False{}:
320              Con{h, val.lz(t, False{}, False{})}
321        case False{}:
322          Con{h, val.lz(t, False{}, False{})}