AlphaGitHub
Source/Packages

ParticipantGroupLaws

packages/representations/tests/ParticipantGroupLaws.alpha

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

def · lines 10–14

stride

Full file
10def stride =
11  (lambda unrestricted first : Nat .
12    (lambda unrestricted step : Nat .
13      (lambda unrestricted count : Nat .
14        (constructor ParticipantSelection ParticipantStride first step count))))

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.