def srat.mk

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

import 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

120def srat.mk(+h: H.AcpiHeader, r: Result<&2, &2, E.AcpiError, List<&2, AcpiSratEntry>>) -> Result<&2, &2, E.AcpiError, AcpiSrat>:
121  match r:
122    case Fail{e}:
123      Fail{e}
124    case Done{es}:
125      Done{AcpiSrat{h, srat.rev(es, Nil{})}}