60def verdict =
61 (lambda unrestricted group : (family ParticipantGroup) .
62 (lambda unrestricted nodes : Nat .
63 (lambda unrestricted depth : Nat .
64 (eliminate
65 StdResult
66 (lambda unrestricted result : (family StdResult (family ParticipantGroupFailure) (family ParticipantIndex)) .
67 Nat)
68 (participantAdmit group nodes depth)
69 (branch StdFailure reason . (failureCode reason))
70 (branch StdSuccess index . 0)))))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.