1620def cpWithLayout =
1621 (lambda unrestricted numerics : Bytes .
1622 (lambda unrestricted epoch : Nat .
1623 (lambda unrestricted base : Nat .
1624 (lambda unrestricted emit : (pi unrestricted layout : (family CoordinatePredictionLayout) . Bytes) .
1625 (eliminate
1626 StdResult
1627 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
1628 Bytes)
1629 (planNativeRegionCheckpoint
1630 (chContext numerics)
1631 coordinateRegions
1632 coordinatePartitions
1633 epoch
1634 base
1635 1048576
1636 chSavedShardCount)
1637 (branch StdFailure error . b"")
1638 (branch
1639 StdSuccess
1640 checkpoint
1641 .
1642 (emit
1643 (constructor CoordinatePredictionLayout CoordinatePredictionLayoutOf checkpoint))))))))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.