1247def dpoEachRole =
1248 (lambda unrestricted owners : Nat .
1249 (lambda unrestricted operation : (family DataParallelOwnedOperation) .
1250 (lambda unrestricted tail : (family GlobalProtocol (family DataParallelOwnedOperation) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1251 (stdListFold
1252 Nat
1253 (family
1254 GlobalProtocol
1255 (family DataParallelOwnedOperation)
1256 (family RegionTransferIdentity)
1257 (family ProtocolNoDecision))
1258 (lambda unrestricted role : Nat .
1259 (lambda unrestricted rest : (family GlobalProtocol (family DataParallelOwnedOperation) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1260 (protocolLocal
1261 (family DataParallelOwnedOperation)
1262 (family RegionTransferIdentity)
1263 (family ProtocolNoDecision)
1264 role
1265 operation
1266 rest)))
1267 tail
1268 (stdListNaturalsBelow owners)))))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.