Source/Packages

Runtime.NativeObservedProgram

packages/execution/src/Runtime/NativeObservedProgram.alpha

724 lines44 declarations33.5 KiBSHA-256 96fd2004b3de

def · lines 83–84

nativeObservedRetrySlot

Full file
83def nativeObservedRetrySlot =
84  (lambda unrestricted applicationSlots : Nat . (succ (nativeObservedWorkSlot applicationSlots)))

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.