Prefix composition is shared by numerical and membership commitments.
Preserve the caller's representation as a sized suffix; neither commitment
may erase the original payload schema.
269def combineRepresentationAnchor =
270 (lambda unrestricted prefix : Bytes .
271 (lambda unrestricted anchor : (family RegionTransferIdentity) .
272 (eliminate
273 RegionTransferIdentity
274 (lambda unrestricted current : (family RegionTransferIdentity) .
275 (family RegionTransferIdentity))
276 anchor
277 (branch
278 RegionTransferIdentityOf
279 composition
280 run
281 region
282 representation
283 round
284 operation
285 sender
286 receiver
287 interval
288 .
289 (constructor
290 RegionTransferIdentity
291 RegionTransferIdentityOf
292 composition
293 run
294 region
295 (bytes-append
296 prefix
297 (bytes-append (regionFrameWord (bytes-length representation)) representation))
298 round
299 operation
300 sender
301 receiver
302 interval)))))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.