AlphaGitHub
Source/Systems

PartitionedRegression.CoordinateHost

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

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1034–1055

chConstants

Full file
1034def chConstants =
1035  (lambda unrestricted layout : (family CoordinateHostLayout) .
1036    (lambda unrestricted worker : Nat .
1037      (lambda unrestricted tail : (family NativePhysicalCommands) .
1038        (chNatural
1039          (chFeature layout)
1040          (succ worker)
1041          (chNatural
1042            (chScratch layout)
1043            1
1044            (chNatural
1045              (chDecay layout)
1046              2
1047              (chBinary
1048                chDivide
1049                (chDecay layout)
1050                (chScratch layout)
1051                (chDecay layout)
1052                (chNatural
1053                  (chRate layout)
1054                  8
1055                  (chBinary chDivide (chRate layout) (chScratch layout) (chRate layout) tail)))))))))

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.