AlphaGitHub
Source/Systems

PartitionedRegression.NativeHost

systems/partitioned-regression/src/PartitionedRegression/NativeHost.alpha

1,091 lines64 declarations48.0 KiBSHA-256 08cad7dc687e
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 832–837

repeatedServerArtifact

Full file
832def repeatedServerArtifact =
833  (lambda unrestricted weight : Nat .
834    (lambda unrestricted steps : Nat .
835      (lambda unrestricted epoch : Nat .
836        (lambda unrestricted version : Nat .
837          (repeatedArtifactFor 1 0 0 weight 0 steps epoch version)))))

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.