104def contains =
105 (lambda unrestricted group : (family ParticipantGroup) .
106 (lambda unrestricted role : Nat .
107 (eliminate
108 StdResult
109 (lambda unrestricted result : (family StdResult (family ParticipantGroupFailure) (family ParticipantIndex)) .
110 Nat)
111 (participantAdmit group 16 8)
112 (branch StdFailure reason . 0)
113 (branch StdSuccess index . (participantContains index role)))))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.