AlphaGitHub
Source/Packages

ParticipantGroupLaws

packages/representations/tests/ParticipantGroupLaws.alpha

262 lines49 declarations7.9 KiBSHA-256 4ede595dbb41
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 94–102

count

Full file
94def count =
95  (lambda unrestricted group : (family ParticipantGroup) .
96    (eliminate
97      StdResult
98      (lambda unrestricted result : (family StdResult (family ParticipantGroupFailure) (family ParticipantIndex)) .
99        Nat)
100      (participantAdmit group 16 8)
101      (branch StdFailure reason . 0)
102      (branch StdSuccess index . (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.