def cur.name.k

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

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

328def cur.name.k(ok: Bool, +n: N.AmlName, +size: Nat, rest: List<&2, U32>, +lim: Nat) -> Result<&2, &2, E.AcpiError, AmlNameC>:
329  match ok:
330    case False{}:
331      Fail{E.AcpiAmlUnsupported{"a NameString not in its shortest form"}}
332    case True{}:
333      cur.name.fit(Nat.is_le(size, lim), n, rest, Nat.sub(lim, size))