681def peerLayoutsFor =
682 (lambda unrestricted run : Bytes .
683 (lambda unrestricted schema : Bytes .
684 (lambda unrestricted base : Nat .
685 (lambda unrestricted emit : (pi unrestricted initial : (family RegionFrameLayout) . (pi unrestricted contribution : (family RegionFrameLayout) . (pi unrestricted updated : (family RegionFrameLayout) . (pi unrestricted acknowledged : (family RegionFrameLayout) . (pi unrestricted work : Nat . Bytes))))) .
686 (eliminate
687 StdResult
688 (lambda unrestricted r : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
689 Bytes)
690 (peerPlan (peerIdentityFor run schema 0 0 0 1 b"parameter") peerWordBytes base)
691 (branch StdFailure error . b"")
692 (branch
693 StdSuccess
694 initial
695 .
696 (eliminate
697 StdResult
698 (lambda unrestricted r : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
699 Bytes)
700 (peerPlan
701 (peerIdentityFor run schema 0 1 1 0 b"gradient-numerator-and-mass")
702 (naturalMultiply 2 peerWordBytes)
703 (frameAlign (frameEnd initial)))
704 (branch StdFailure error . b"")
705 (branch
706 StdSuccess
707 contribution
708 .
709 (eliminate
710 StdResult
711 (lambda unrestricted r : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
712 Bytes)
713 (peerPlan
714 (peerIdentityFor run schema 1 2 0 1 b"parameter")
715 peerWordBytes
716 (frameAlign (frameEnd contribution)))
717 (branch StdFailure error . b"")
718 (branch
719 StdSuccess
720 updated
721 .
722 (eliminate
723 StdResult
724 (lambda unrestricted r : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
725 Bytes)
726 (peerPlan
727 (peerIdentityFor run schema 1 3 1 0 b"consumed-version")
728 peerWordBytes
729 (frameAlign (frameEnd updated)))
730 (branch StdFailure error . b"")
731 (branch
732 StdSuccess
733 acknowledged
734 .
735 (emit initial contribution updated acknowledged (frameEnd acknowledged))))))))))))))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.