30family ParticipantGroup : Type 0
31constructor ParticipantGroupOf
32field unrestricted participantUniverse : Nat
33field unrestricted participantEpoch : Nat
34field unrestricted participantIdentity : Bytes
35field unrestricted participantSelection : (family ParticipantSelection)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.