1392def checkpointPlaceStreamFields =
1393 (lambda unrestricted fields : (family CheckpointFields) .
1394 (eliminate
1395 CheckpointFields
1396 (lambda unrestricted current : (family CheckpointFields) .
1397 (pi unrestricted offset : (family ModelWord64) . (family CheckpointPlacementResult)))
1398 fields
1399 (branch
1400 CheckpointFieldsEnd
1401 .
1402 (lambda unrestricted offset : (family ModelWord64) .
1403 (constructor
1404 CheckpointPlacementResult
1405 CheckpointPlacementAccepted
1406 (constructor CheckpointFields CheckpointFieldsEnd)
1407 offset
1408 zero)))
1409 (branch
1410 CheckpointFieldsNext
1411 head
1412 tail
1413 ih_tail
1414 .
1415 (lambda unrestricted offset : (family ModelWord64) .
1416 (eliminate
1417 CheckpointField
1418 (lambda unrestricted current : (family CheckpointField) .
1419 (family CheckpointPlacementResult))
1420 head
1421 (branch
1422 CheckpointFieldValue
1423 kind
1424 name
1425 storageOffset
1426 oldStreamOffset
1427 byteLength
1428 elements
1429 domain
1430 initialization
1431 .
1432 (eliminate
1433 CheckpointWord64Result
1434 (lambda unrestricted current : (family CheckpointWord64Result) .
1435 (family CheckpointPlacementResult))
1436 (checkpointAddChecked
1437 (constructor CheckpointErrorCode CheckpointStreamExtentOverflow)
1438 offset
1439 byteLength)
1440 (branch
1441 CheckpointWord64Succeeded
1442 nextOffset
1443 .
1444 (eliminate
1445 CheckpointPlacementResult
1446 (lambda unrestricted current : (family CheckpointPlacementResult) .
1447 (family CheckpointPlacementResult))
1448 (ih_tail nextOffset)
1449 (branch
1450 CheckpointPlacementAccepted
1451 tailFields
1452 payloadBytes
1453 tailCount
1454 .
1455 (constructor
1456 CheckpointPlacementResult
1457 CheckpointPlacementAccepted
1458 (constructor
1459 CheckpointFields
1460 CheckpointFieldsNext
1461 (checkpointFieldWithStreamOffset head offset)
1462 tailFields)
1463 payloadBytes
1464 (succ tailCount)))
1465 (branch
1466 CheckpointPlacementRejected
1467 ordinal
1468 count
1469 .
1470 (constructor
1471 CheckpointPlacementResult
1472 CheckpointPlacementRejected
1473 (succ ordinal)
1474 count))))
1475 (branch
1476 CheckpointWord64Failed
1477 code
1478 .
1479 (constructor CheckpointPlacementResult CheckpointPlacementRejected zero zero)))))))))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.