Source/Systems

PartitionedRegression.CoordinateHost

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

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7

def · lines 605–616

chCombineBinding

Full file
605def chCombineBinding =
606  (lambda unrestricted layout : (family CoordinateHostLayout) .
607    (lambda unrestricted stage : (family CombineStage) .
608      (lambda unrestricted source : (family CombineReference) .
609        (lambda unrestricted destination : (family CombineReference) .
610          (lambda unrestricted identity : (family RegionTransferIdentity) .
611            (eliminate
612              CombineStage
613              (lambda unrestricted current : (family CombineStage) . (family RegionFrameLayout))
614              stage
615              (branch CombineReduce . (chPrediction layout))
616              (branch CombineReplicate . (chResidual layout))))))))

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.