Prediction validates the full committed checkpoint but materializes only the
parameter region. Its state extent contains no communication-frame arenas.
1707def coordinateHostTargetPredictionArtifact =
1708 (lambda unrestricted target : (family NativeHostTarget) .
1709 (lambda unrestricted resources : (family NativeResourceContext) .
1710 (lambda unrestricted epoch : Nat .
1711 (cpWithLayout
1712 b"f64-local-and-update"
1713 epoch
1714 0
1715 (lambda unrestricted layout : (family CoordinatePredictionLayout) .
1716 (cpWithRestore
1717 layout
1718 (chNatural
1719 (cpFeature layout)
1720 2
1721 (chBinary
1722 chMultiply
1723 (cpPrediction layout)
1724 (cpRight layout)
1725 (cpFeature layout)
1726 (chBinary
1727 chAdd
1728 (cpPrediction layout)
1729 (cpLeft layout)
1730 (cpPrediction layout)
1731 (cpOutput layout chHalt))))
1732 (lambda unrestricted commands : (family NativePhysicalCommands) .
1733 (nativeHostTargetResourceArtifact
1734 target
1735 resources
1736 (chProgramFor cpSlots (cpExtent layout) commands)))))))))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.