Canonical prefix encoding includes the numerical tree, leaf order and
execution owners. The enclosing anchor supplies the operation/schema/run
semantics; changing only a route cannot disguise a different collective.
185def combineTreeBytes =
186 (lambda unrestricted tree : (family OrderedCombineTree) .
187 (eliminate
188 OrderedCombineTree
189 (lambda unrestricted current : (family OrderedCombineTree) . Bytes)
190 tree
191 (branch OrderedCombineLeaf owner . (bytes-append b"L" (regionFrameWord owner)))
192 (branch
193 OrderedCombineBranch
194 owner
195 left
196 right
197 leftResult
198 rightResult
199 .
200 (bytes-append
201 b"B"
202 (bytes-append
203 (regionFrameWord owner)
204 (bytes-append leftResult (bytes-append rightResult b"")))))))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.