AlphaGitHub
Source/Packages

Representation.ParticipantGroup

packages/representations/src/Representation/ParticipantGroup.alpha

569 lines74 declarations21.7 KiBSHA-256 55e38fbe127e
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 446–455

participantMember

Full file
446def participantMember =
447  (lambda unrestricted index : (family ParticipantIndex) .
448    (lambda unrestricted ordinal : Nat .
449      (nat-eliminate
450        (lambda unrestricted flag : Nat . (family StdOption Nat))
451        (constructor StdOption StdNone Nat)
452        (lambda unrestricted prior : Nat .
453          (lambda unrestricted ignored : (family StdOption Nat) .
454            (constructor StdOption StdSome Nat (participantSelectUnchecked index ordinal))))
455        (naturalLess ordinal (participantCountOf index)))))

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.