Source/Packages

Representation.ParticipantGroup

packages/representations/src/Representation/ParticipantGroup.alpha

569 lines74 declarations21.7 KiBSHA-256 55e38fbe127e

field · lines 19–19

participantCount

Full file
Membership is a coordinate relation, independent of device capability and numerical evaluation order. Repetition shares one subgroup description; joining ordered, disjoint ranges indexes irregular populations. These are logical role IDs, not a claim that any physical devices executed.
19field unrestricted participantCount : Nat

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.