465def niInitializeAt =
466 (lambda unrestricted slots : Nat .
467 (lambda unrestricted system : (family IndependentStateSystem slots) .
468 (lambda unrestricted valuesAt : Nat .
469 (lambda unrestricted owner : Nat .
470 (lambda unrestricted tail : (family NativePhysicalCommands) .
471 (stdListFold
472 StdU64
473 (pi unrestricted index : Nat . (family NativePhysicalCommands))
474 (lambda unrestricted word : StdU64 .
475 (lambda unrestricted next : (pi unrestricted index : Nat . (family NativePhysicalCommands)) .
476 (lambda unrestricted index : Nat .
477 (nativeMemoryStoreWord64
478 b"independent-initial"
479 (nativePointwiseAt valuesAt index)
480 (nativeLaunchRecipeImmediate (modelWord64Natural word))
481 (next (succ index))))))
482 (lambda unrestricted index : Nat . tail)
483 (niRow slots system owner)
484 0))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.