43def failureCode =
44 (lambda unrestricted failure : (family ParticipantGroupFailure) .
45 (eliminate
46 ParticipantGroupFailure
47 (lambda unrestricted current : (family ParticipantGroupFailure) . Nat)
48 failure
49 (branch ParticipantEmptyIdentity . 1)
50 (branch ParticipantUniverseBounds . 2)
51 (branch ParticipantEpochBounds . 3)
52 (branch ParticipantEmptySelection . 4)
53 (branch ParticipantZeroStride . 5)
54 (branch ParticipantCoordinateOverflow . 6)
55 (branch ParticipantRepeatedOverlap . 7)
56 (branch ParticipantUnorderedJoin . 8)
57 (branch ParticipantOutsideUniverse . 9)
58 (branch ParticipantIndexBudget . 10)))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.