AlphaGitHub
Source/Packages

Runtime.DeviceArenaCertificate

packages/execution/src/Runtime/DeviceArenaCertificate.alpha

1,800 lines133 declarations66.8 KiBSHA-256 74ef7fffbf20
Download exact fileView at revisionf5034773ad4bb52133

family · lines 90–100

DeviceArenaSpans

Full file
90family DeviceArenaSpans : Type 0
91constructor DeviceArenaSpansEnd
92constructor DeviceArenaSpansNext
93field unrestricted deviceArenaSpanOffset : Nat
94field unrestricted deviceArenaSpanIntervals : (family DeviceArenaIntervals)
95field unrestricted deviceArenaSpanRise : Nat
96field unrestricted deviceArenaSpanFall : Nat
97field unrestricted deviceArenaSpanUniform : Nat
98field unrestricted deviceArenaSpanDelta : Nat
99field unrestricted deviceArenaSpanOrdinals : (family DeviceArenaOrdinals)
100recursive unrestricted deviceArenaSpansTail

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.