One step: its context read and the cursor moved on; its AdamW scalars
computed into the update's AdamW launches (`adamW`); the update issued;
its per-row losses (the update's loss copy put them in the loss-record
window) appended to the result.
298def coppeliusStepBody =
299 (lambda unrestricted entries : Bytes .
300 (lambda unrestricted adamW : (family NativePhysicalCommands) .
301 (lambda unrestricted first : Nat .
302 (coppeliusReadContext
303 (constructor NvidiaPlanHostSteps NvidiaPlanHostStepCursorAdvance coppeliusContextStreamBytes
304 (constructor NvidiaPlanHostSteps NvidiaPlanHostStepCommands adamW
305 (constructor NvidiaPlanHostSteps NvidiaPlanHostStepReissue first 1 coppeliusUpdatePiece 0
306 (nvidiaPlanHostTableWord entries coppeliusUpdatePiece) 0
307 (coppeliusWriteResult (coppeliusStagingAt coppeliusResultLossRecordOffset) coppeliusResultWindowBytes
308 coppeliusStepsEnd))))))))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.