def aml.boot.chk

bend-osdev-acpi@0.1.1.0 · aml.bend:171

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/aml_value.bend as V

171def aml.boot.chk(-H: Data, r: Result<&2, &2, E.AcpiError, V.AmlValue>, s: AmlSystem<H>, o: AmlOutcome<H>) -> Result<&2, &2, E.AcpiError, AmlSystem<H>>:
172  match r:
173    case Fail{e}:
174      Fail{e}
175    case Done{v}:
176      Done{AmlSystem.after(H, s, o)}