AlphaGitHub
Source/Packages

Runtime.NativeTelemetryDrain

packages/execution/src/Runtime/NativeTelemetryDrain.alpha

1,049 lines25 declarations49.5 KiBSHA-256 9b04cf809111
Download exact fileView at revision426597bda5753d86c4

def · lines 134–140

drainStore

Full file
134def drainStore =
135  (lambda unrestricted offset : Nat .
136    (lambda unrestricted value : (family NativePhysicalOperand) .
137      (lambda unrestricted identity : Bytes .
138        (nativeLaunchRecipeCommand
139          (constructor NativePhysicalOperation NativePhysicalStoreWord64 (drainState offset) value)
140          identity))))

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.