AlphaGitHub
Source/Packages

ParticipantGroupLaws

packages/representations/tests/ParticipantGroupLaws.alpha

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

def · lines 16–20

repeat

Full file
16def repeat =
17  (lambda unrestricted count : Nat .
18    (lambda unrestricted step : Nat .
19      (lambda unrestricted inner : (family ParticipantSelection) .
20        (constructor ParticipantSelection ParticipantRepeat count step inner))))

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.