32def frameHeader =
33 (lambda unrestricted layout : (family RegionFrameLayout) .
34 (eliminate
35 RegionFrameLayout
36 (lambda unrestricted current : (family RegionFrameLayout) . Bytes)
37 layout
38 (branch RegionFrameLayoutOf header payload base padding . header)))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.