Source/Packages

Runtime.DeviceArenaCertificate

packages/execution/src/Runtime/DeviceArenaCertificate.alpha

1,800 lines133 declarations66.8 KiBSHA-256 74ef7fffbf20

constructor · lines 74–74

DeviceArenaIntervalsEnd

Full file
a launch as the certificate sees it: its phase, the ordinals of the expanded schedule it stands for (base + the sum of k * stride over its generators, 0 <= k < count, outermost first), and, for each parameter word, intervals covering every value the word takes over them -- one per iteration of an enclosing repeat while few, their hull beyond that -- with what an enclosing repeat is accumulating: the sums of the positive and negative deltas naming the word, whether they are one delta naming each of its ordinals at most once, that delta, and those ordinals
74constructor DeviceArenaIntervalsEnd

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.