---- the run ----
After the forward submission the ring carries the run, period by period
(coppeliusRunCheckpointInterval steps each): the update issued once per
step, then the checkpoint gathered back; the last period issues the
final forward before its gathers and the report put back after them.
286def coppeliusPeriodSubmissions : Nat = (naturalAdd coppeliusRunCheckpointInterval cgChunks)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.