def in.byte.at
import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterpimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
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
455def in.byte.at(m: Maybe<&2, U32>) -> Result<&2, &2, E.AcpiError, V.AmlValue>:
456 match m:
457 case None{}:
458 Fail{E.AcpiAmlRange{}}
459 case Some{b}:
460 Done{V.AmlInt{W.W64.from_u32(b)}}