def bgrt.parse
import bend-osdev-acpi@0.1.1.0/bgrt.bend as Bgrtimport 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
35def bgrt.parse(r: Result<&2, &2, E.AcpiError, H.AcpiSdt>) -> Result<&2, &2, E.AcpiError, AcpiBgrt>:
36 match r:
37 case Fail{e}:
38 Fail{e}
39 case Done{t}:
40 AcpiBgrt.of_sdt(t)