def AmlT.while_
import bend-osdev-acpi@0.1.1.0/aml_term.bend as AmlTermimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
289def AmlT.while_(pred: AmlTerm, body: List<&2, AmlTerm>) -> AmlTerm:
290 AmlTPkg{tm.b([162]), B.Octets.empty(), Con{pred, body}}