def srat.enc
import bend-osdev-acpi@0.1.1.0/srat.bend as Sratimport Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
178def srat.enc(es: List<&2, AcpiSratEntry>) -> List<&2, B.Octets>:
179 match es:
180 case Nil{}:
181 Nil{}
182 case Con{h, t}:
183 Con{AcpiSratEntry.encode(h), srat.enc(t)}