148def frameNativeHash =
149 (lambda unrestricted layout : (family RegionFrameLayout) .
150 (lambda unrestricted slot : Nat .
151 (lambda unrestricted tail : (family NativePhysicalCommands) .
152 (frameNativeCopy
153 (framePaddingAt layout)
154 (framePadding layout)
155 (nativeLaunchRecipeCommand
156 (constructor
157 NativePhysicalOperation
158 NativePhysicalMachineRoutine
159 nativeWordDigestRoutine
160 (constructor
161 NativePhysicalArguments
162 NativePhysicalArgumentsValue
163 (frameNativeState (frameHeaderAt layout))
164 (nativeLaunchRecipeImmediate (frameBlockCount layout))
165 (frameNativeState (frameComputedAt layout))
166 (nativeLaunchRecipeImmediate 0)
167 (nativeLaunchRecipeImmediate 0)
168 (frameNativeState (frameWorkAt layout)))
169 (nativeLaunchRecipeStore slot))
170 b"frame-hash"
171 (nativeLaunchRecipeAssertEqual
172 (nativeLaunchRecipeSlotValue slot)
173 (nativeLaunchRecipeImmediate regionFrameDigestBytes)
174 b"frame-hash-count"
175 tail))))))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.