One owner's frame in the storage the layout planned for owner 1. Frames
differ only in their identity-bound header. A frame that cannot be planned
there falls back to an empty header: its extent then differs from owner
1's, and Checkpoint.NativePeerPublication's shared-storage admission
refuses the whole publication instead of using a misidentified frame.
273def niFrameAt =
274 (lambda unrestricted identity : (family RegionTransferIdentity) .
275 (lambda unrestricted payload : Nat .
276 (lambda unrestricted at : (family RegionFrameLayout) .
277 (eliminate
278 StdResult
279 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
280 (family RegionFrameLayout))
281 (planRegionFrameLayout identity payload 512 (frameBase at) (frameEnd at))
282 (branch
283 StdFailure
284 error
285 .
286 (constructor RegionFrameLayout RegionFrameLayoutOf b"" payload (frameBase at) b""))
287 (branch StdSuccess frame . frame)))))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.