def in.small.chk

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

import 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

1304def in.small.chk(r: Result<&2, &2, E.AcpiError, W.W64>) -> Result<&2, &2, E.AcpiError, W.W64>:
1305  match r:
1306    case Fail{e}:
1307      Fail{e}
1308    case Done{+x}:
1309      in.small.pick(U32.is_eq(W.W64.hi(x), 0), x)