def srat.all

bend-osdev-acpi@0.1.1.0 · srat.bend:113

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/entries.bend as N

113def srat.all(es: List<&2, N.AcpiRawEntry>, acc: Result<&2, &2, E.AcpiError, List<&2, AcpiSratEntry>>) -> Result<&2, &2, E.AcpiError, List<&2, AcpiSratEntry>>:
114  match es:
115    case Nil{}:
116      acc
117    case Con{h, t}:
118      srat.all(t, srat.push(acc, AcpiSratEntry.of_raw(h)))