489def nativeIndependentTreeArtifact =
490 (lambda unrestricted target : (family NativeHostTarget) .
491 (lambda unrestricted resources : (family NativeResourceContext) .
492 (lambda unrestricted slots : Nat .
493 (lambda unrestricted system : (family IndependentStateSystem slots) .
494 (lambda unrestricted fanout : Nat .
495 (lambda unrestricted role : Nat .
496 (lambda unrestricted addresses : (family StdList Bytes) .
497 (lambda unrestricted resume : Nat .
498 (lambda unrestricted epoch : Nat .
499 (lambda unrestricted steps : Nat .
500 (lambda unrestricted available : Nat .
501 (let unrestricted edges =
502 (nativePeerTreeEdgesListed fanout (niOwners slots system) role addresses)
503 in
504 (nitWithLayout
505 slots
506 system
507 fanout
508 role
509 epoch
510 0
511 (pointwiseProgramTemporaryValues
512 StdU64
513 slots
514 (independentAssignments slots system))
515 available
516 (lambda unrestricted layout : (family NativeIndependentTreeLayout) .
517 (let unrestricted extent =
518 (nitExtent slots layout edges)
519 in
520 (nat-eliminate
521 (lambda unrestricted valid : Nat . Bytes)
522 b""
523 (lambda unrestricted previous : Nat .
524 (lambda unrestricted ignored : Bytes .
525 (eliminate
526 StdResult
527 (lambda unrestricted result : (family StdResult Bytes (family NativePhysicalCommands)) .
528 Bytes)
529 (planNativePointwiseProgram
530 slots
531 (independentAssignments slots system)
532 (nitValuesAt layout)
533 (nitEndpoint slots layout)
534 nativePeerScratchSlot
535 niEnd)
536 (branch StdFailure error . b"")
537 (branch
538 StdSuccess
539 step
540 .
541 (nativeHostTargetResourceArtifact
542 target
543 resources
544 (niProgramFor
545 (nativePeerEdgeSlots edges)
546 extent
547 (nitCommands
548 slots
549 system
550 layout
551 fanout
552 role
553 edges
554 resume
555 steps
556 (nativePhysicalProgramComposeCommandsAppend step))))))))
557 (naturalAnd
558 (nitRunAdmitted
559 slots
560 system
561 fanout
562 role
563 addresses
564 resume
565 epoch
566 steps)
567 (naturalAnd
568 (nitFramesAdmitted slots system fanout layout)
569 (naturalAnd
570 (naturalLessOrEqual extent available)
571 (arenaCertificate
572 extent
573 (constructor
574 ArenaResidents
575 ArenaResidentsNext
576 (constructor
577 ArenaResident
578 ArenaResidentValue
579 b"tree-commitment-frame"
580 (frameBase (nitCommitment layout))
581 (naturalSaturatingSubtract
582 (frameEnd (nitCommitment layout))
583 (frameBase (nitCommitment layout)))
584 1)
585 (constructor
586 ArenaResidents
587 ArenaResidentsNext
588 (constructor
589 ArenaResident
590 ArenaResidentValue
591 b"tree-release-frame"
592 (frameBase (nitRelease layout))
593 (naturalSaturatingSubtract
594 (frameEnd (nitRelease layout))
595 (frameBase (nitRelease layout)))
596 1)
597 (constructor
598 ArenaResidents
599 ArenaResidentsNext
600 (constructor
601 ArenaResident
602 ArenaResidentValue
603 b"tree-owner-state-and-endpoints"
604 (nitStateAt layout)
605 (naturalSaturatingSubtract extent (nitStateAt layout))
606 nativeCheckpointWordBytes)
607 (nativeTreeResidents (nitCheckpoint layout)))))))))))))))))))))))))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.