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 132–137

DeviceArenaTracked

Full file
the planes (D) tracks: each with whether a different plane has been declared over it since it was last declared
132family DeviceArenaTracked : Type 0
133constructor DeviceArenaTrackedEnd
134constructor DeviceArenaTrackedNext
135field unrestricted deviceArenaTrackedResident : (family ArenaResident)
136field unrestricted deviceArenaTrackedClobbered : Nat
137recursive unrestricted deviceArenaTrackedTail

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.