def cur.at_end
import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterpimport Base
268def cur.at_end(c: AmlCur) -> Bool:
269 match c:
270 case AmlCur{code, lim}:
271 Nat.is_eq(lim, 0n)
import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterpimport Base
268def cur.at_end(c: AmlCur) -> Bool:
269 match c:
270 case AmlCur{code, lim}:
271 Nat.is_eq(lim, 0n)