State addresses are relative to the native interpreter arena, separate from
the target's independently certified GPU/host virtual mappings. The native
session prefix and the needed counter/scratch words cannot alias learning state.
85def cdSessionResidents =
86 (lambda unrestricted end : Nat .
87 (lambda unrestricted extent : Nat .
88 (lambda unrestricted residents : (family ArenaResidents) .
89 (constructor
90 ArenaResidents
91 ArenaResidentsNext
92 (constructor
93 ArenaResident
94 ArenaResidentValue
95 b"native-device-session"
96 0
97 phStateExtent
98 coordinateWordBytes)
99 (constructor
100 ArenaResidents
101 ArenaResidentsNext
102 (constructor
103 ArenaResident
104 ArenaResidentValue
105 b"device-local-state"
106 (cdCounter end)
107 (naturalSaturatingSubtract extent (cdCounter end))
108 coordinateWordBytes)
109 residents)))))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.