AlphaGitHub
Source/Packages

Runtime.NativePointwisePlan

packages/execution/src/Runtime/NativePointwisePlan.alpha

436 lines23 declarations18.6 KiBSHA-256 fd2fbc317365
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 36–42

nativePointwiseExtent

Full file
36def nativePointwiseExtent =
37  (lambda unrestricted slots : Nat .
38    (lambda unrestricted program : (family StdList (family PointwiseAssignment StdU64 slots)) .
39      (lambda unrestricted base : Nat .
40        (nativePointwiseAt
41          base
42          (naturalAdd slots (pointwiseProgramTemporaryValues StdU64 slots 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.