1362def checkpointFieldWithStreamOffset =
1363 (lambda unrestricted field : (family CheckpointField) .
1364 (lambda unrestricted streamOffset : (family ModelWord64) .
1365 (eliminate
1366 CheckpointField
1367 (lambda unrestricted current : (family CheckpointField) . (family CheckpointField))
1368 field
1369 (branch
1370 CheckpointFieldValue
1371 kind
1372 name
1373 storageOffset
1374 oldStreamOffset
1375 byteLength
1376 elements
1377 domain
1378 initialization
1379 .
1380 (constructor
1381 CheckpointField
1382 CheckpointFieldValue
1383 kind
1384 name
1385 storageOffset
1386 streamOffset
1387 byteLength
1388 elements
1389 domain
1390 initialization)))))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.