AlphaGitHub
Source/Packages

Runtime.NativeResourcePlan

packages/execution/src/Runtime/NativeResourcePlan.alpha

299 lines21 declarations10.9 KiBSHA-256 596f7af6de64
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 230–237

nativePhysicalResourcesAdmitted

Full file
230def nativePhysicalResourcesAdmitted =
231  (lambda unrestricted context : (family NativeResourceContext) .
232    (lambda unrestricted program : (family NativePhysicalProgram) .
233      (stdBoolToNatural
234        (stdResultIsSuccess
235          (family NativeResourceFailure)
236          (family ResourceSchedule)
237          (admitNativePhysicalResources context program)))))

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.