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 806–812

peerArtifactFor

Full file
806def peerArtifactFor =
807  (lambda unrestricted endpoint : Nat .
808    (lambda unrestricted port : Nat .
809      (lambda unrestricted worker : Nat .
810        (lambda unrestricted weight : Nat .
811          (lambda unrestricted wrongMean : Nat .
812            (repeatedArtifactFor endpoint port worker weight wrongMean 1 1 0))))))

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.