87def participantRequire =
88 (lambda erased value : Type 0 .
89 (lambda unrestricted condition : Nat .
90 (lambda unrestricted failure : (family ParticipantGroupFailure) .
91 (lambda unrestricted next : (family StdResult (family ParticipantGroupFailure) value) .
92 (nat-eliminate
93 (lambda unrestricted flag : Nat .
94 (family StdResult (family ParticipantGroupFailure) value))
95 (constructor StdResult StdFailure (family ParticipantGroupFailure) value failure)
96 (lambda unrestricted prior : Nat .
97 (lambda unrestricted ignored : (family StdResult (family ParticipantGroupFailure) value) .
98 next))
99 condition)))))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.