def loadeds

bend-osdev-acpi@0.1.1.0 · check.bend:71

import Base
import bend-osdev-acpi@0.1.1.0/registry.bend as R
import bend-osdev-acpi@0.1.1.0/acpi.bend as A

71def loadeds(ls: List<&2, A.AcpiLoaded<R.AcpiNoExt>>) -> List<&2, String>:
72  match ls:
73    case Nil{}:
74      Nil{}
75    case Con{h, t}:
76      Con{loaded(h), loadeds(t)}