Capture and release frames of the publication star, one per edge.
328def dpPublicationIdentity =
329 (lambda unrestricted c : Nat .
330 (lambda unrestricted u : Nat .
331 (lambda unrestricted system : (family DataParallelSystem c u) .
332 (lambda unrestricted digest : Bytes .
333 (lambda unrestricted operation : Nat .
334 (lambda unrestricted sender : Nat .
335 (lambda unrestricted receiver : Nat .
336 (constructor
337 RegionTransferIdentity
338 RegionTransferIdentityOf
339 digest
340 b"data-parallel-publication-v1"
341 b"parameters"
342 b"finite-f64-rne-separate"
343 (constructor LearningRound LearningRoundOf 1 0)
344 operation
345 sender
346 receiver
347 (constructor LogicalInterval LogicalIntervalOf 0 (dpReplicatedBytes c u system))))))))))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.