457def bobDevicePhases : (family DeviceArenaPhases) =
458 (bobPhase b"bob-loss-gradient"
459 (bobPhase b"bob-row-gather"
460 (bobPhase b"bob-greedy-argmax"
461 (bobPhase b"bob-adamw" (constructor DeviceArenaPhases DeviceArenaPhasesEnd)))))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.