def hst.load

bend-osdev-acpi@0.1.1.0 · aml_host.bend:87

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

87def hst.load(xs: List<&2, U32>, m: Map<&2, U32>, +space: U32, +a: W.W64) -> Map<&2, U32>:
88  match xs:
89    case Nil{}:
90      m
91    case Con{x, t}:
92      hst.load(t, Map.set(&2, U32, m, hst.key(space, a), x), space, W.W64.add(a, W.W64.one()))