115def rpContext =
116 (lambda unrestricted identity : Bytes .
117 (lambda unrestricted gpu : Nat .
118 (lambda unrestricted host : Nat .
119 (lambda unrestricted left : Nat .
120 (lambda unrestricted right : Nat .
121 (constructor
122 NvidiaResourceContext
123 NvidiaResourceContextOf
124 (constructor
125 NativeResourceContext
126 NativeResourceContextOf
127 (constructor
128 ResourceSchedule
129 ResourceScheduleOf
130 (rpGraph host left right)
131 (constructor StdList StdListEmpty (family ResourcePlacement))
132 (constructor StdList StdListEmpty (family ResourceLease)))
133 identity
134 0
135 0
136 4096
137 128
138 16384)
139 gpu
140 gpu
141 4096
142 4096
143 65536))))))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.