AlphaGitHub
Source/Packages

Representation.ParticipantTree

packages/representations/src/Representation/ParticipantTree.alpha

283 lines25 declarations11.9 KiBSHA-256 327ac80c5242
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 282–283

participantTreeChildIndex

Full file
The index, among `node`'s children, of the child whose subtree holds `role`.
282def participantTreeChildIndex =
283  participantTreeChildHolding

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.