Change only the route of a logical transfer; all scope, version and region
fields survive. Used when a single decision is disseminated along a tree.
297def regionTransferWithRoute =
298(lambda unrestricted identity : (family RegionTransferIdentity) .
299(lambda unrestricted sender : Nat .
300(lambda unrestricted receiver : Nat .
301(eliminate RegionTransferIdentity (lambda unrestricted current : (family RegionTransferIdentity) . (family RegionTransferIdentity)) identity
302(branch RegionTransferIdentityOf composition run region representation round operation oldSender oldReceiver interval .
303(constructor RegionTransferIdentity RegionTransferIdentityOf composition run region representation round operation sender receiver interval))))))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.