AlphaGitHub
Source/Systems

PartitionedRegression.CoordinateHost

systems/partitioned-regression/src/PartitionedRegression/CoordinateHost.alpha

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1252–1260

chProjectedRound

Full file
1252def chProjectedRound =
1253  (lambda unrestricted layout : (family CoordinateHostLayout) .
1254    (lambda unrestricted worker : Nat .
1255      (projectGlobalProtocol
1256        (family CoordinateRoundOperation)
1257        (family RegionFrameLayout)
1258        (family ProtocolNoDecision)
1259        worker
1260        (chGlobalRound layout))))

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.