def in.pad

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

import Base
import bend-osdev-acpi@0.1.1.0/aml_value.bend as V

2162def in.pad(n: Nat, xs: List<&2, V.AmlValue>) -> List<&2, V.AmlValue>:
2163  match n xs:
2164    case 0n _:
2165      xs
2166    case 1n+p Nil{}:
2167      Con{V.AmlUninit{}, in.pad(p, Nil{})}
2168    case 1n+p Con{h, t}:
2169      Con{h, in.pad(p, t)}