def srat.parse
import bend-osdev-acpi@0.1.1.0/srat.bend as Sratimport Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/header.bend as H
146def srat.parse(r: Result<&2, &2, E.AcpiError, H.AcpiSdt>) -> Result<&2, &2, E.AcpiError, AcpiSrat>:
147 match r:
148 case Fail{e}:
149 Fail{e}
150 case Done{t}:
151 AcpiSrat.of_sdt(t)