204def linearStepPlanResidentsForShape =
205 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
206 (lambda unrestricted submissions : Nat .
207 (linearStepPlanResident b"pushbuffer" linearStepPlanPushbufferOffset linearStepPlanPushbufferBudget 4096
208 (linearStepPlanResident b"semaphores" linearStepPlanSemaphoreOffset (naturalMultiply linearStepPlanSemaphoreStride submissions) 4096
209 (linearStepPlanResident b"program" linearStepPlanProgramOffset (linearStepPlanProgramBytesFor m k) linearStepPlanRegionAlignment
210 (linearStepPlanResident b"qmd" linearStepPlanQMDOffset linearStepPlanQMDTableBytes linearStepPlanRegionAlignment
211 (linearStepPlanResident b"weights" linearStepPlanWeightsOffset (linearStepPlanWeightsBytesFor m k) 4
212 (linearStepPlanResident b"input" linearStepPlanInputOffset (linearStepPlanInputBytesFor k) 4
213 (linearStepPlanResident b"target" linearStepPlanTargetOffset (linearStepPlanTargetBytesFor m) 4
214 (linearStepPlanResident b"output" linearStepPlanOutputOffset (linearStepSM86OutputRecordBytesFor m k) 4
215 (constructor ArenaResidents ArenaResidentsEnd))))))))))))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.