---- the manifest contract of one node ----
305def nativeTreeGroupSchema =
306 (lambda unrestricted logical : Bytes .
307 (lambda unrestricted fanout : Nat .
308 (lambda unrestricted count : Nat .
309 (lambda unrestricted node : (family ParticipantTreeNode) .
310 (lambda unrestricted own : (family StdList (family CheckpointRegionPartition)) .
311 (bytes-append
312 b"ALPHA-REGION-GROUP-1\x00"
313 (bytes-append
314 logical
315 (bytes-append
316 (checkpointEnvelopeWord fanout)
317 (bytes-append
318 (checkpointEnvelopeWord count)
319 (bytes-append
320 (checkpointEnvelopeWord (participantTreeRoleOf node))
321 (bytes-append
322 (checkpointEnvelopeWord (participantTreeSizeOf node))
323 (nativeRegionPartitionBytes own))))))))))))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.