396def nativePeerByRole =
397 (lambda unrestricted worker : Nat .
398 (lambda unrestricted coordinator : (family NativePhysicalCommands) .
399 (lambda unrestricted participant : (family NativePhysicalCommands) .
400 (nat-eliminate
401 (lambda unrestricted role : Nat . (family NativePhysicalCommands))
402 coordinator
403 (lambda unrestricted previous : Nat .
404 (lambda unrestricted ignored : (family NativePhysicalCommands) . participant))
405 worker))))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.