Source/Systems

PartitionedRegression.NativeHost

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

1,091 lines64 declarations48.0 KiBSHA-256 08cad7dc687e

def · lines 34–53

peerIdentityFor

Full file
34def peerIdentityFor =
35  (lambda unrestricted run : Bytes .
36    (lambda unrestricted schema : Bytes .
37      (lambda unrestricted version : Nat .
38        (lambda unrestricted operation : Nat .
39          (lambda unrestricted sender : Nat .
40            (lambda unrestricted receiver : Nat .
41              (lambda unrestricted region : Bytes .
42                (constructor
43                  RegionTransferIdentity
44                  RegionTransferIdentityOf
45                  b"squared-error-scalar"
46                  run
47                  region
48                  schema
49                  (constructor LearningRound LearningRoundOf 1 version)
50                  operation
51                  sender
52                  receiver
53                  (constructor LogicalInterval LogicalIntervalOf 0 1)))))))))

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.