---- publication frames ----
337def dpotIdentity =
338 (lambda unrestricted c : Nat .
339 (lambda unrestricted u : Nat .
340 (lambda unrestricted system : (family DataParallelSystem c u) .
341 (lambda unrestricted digest : Bytes .
342 (lambda unrestricted q : Nat .
343 (lambda unrestricted p : Nat .
344 (lambda unrestricted operation : Nat .
345 (lambda unrestricted sender : Nat .
346 (lambda unrestricted receiver : Nat .
347 (constructor
348 RegionTransferIdentity
349 RegionTransferIdentityOf
350 digest
351 b"data-parallel-owned-tree-publication-v1"
352 b"replicated-words"
353 b"finite-f64-rne-separate"
354 (constructor LearningRound LearningRoundOf 1 0)
355 operation
356 sender
357 receiver
358 (constructor
359 LogicalInterval
360 LogicalIntervalOf
361 0
362 (dpoAgreedBytes c u system q p))))))))))))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.