def in.while.k

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:2835

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

2835def in.while.k(-H: Data, r: Result<&2, &2, E.AcpiError, Bool>, c: AmlCur, start: AmlCur, after: AmlCur, rest: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
2836  match r:
2837    case Fail{e}:
2838      AmlMachine{AmlMFail{e}, c, rest, w}
2839    case Done{True{}}:
2840      AmlMachine{AmlMExec{}, c, Con{AmlFWhile{start, after, True{}}, rest}, w}
2841    case Done{False{}}:
2842      AmlMachine{AmlMExec{}, after, rest, w}