333def planNativeTreeGroup =
334 (lambda unrestricted context : (family CheckpointEnvelopeContract) .
335 (lambda unrestricted logical : Bytes .
336 (lambda unrestricted fanout : Nat .
337 (lambda unrestricted count : Nat .
338 (lambda unrestricted node : (family ParticipantTreeNode) .
339 (lambda unrestricted own : (family StdList (family CheckpointRegionPartition)) .
340 (lambda unrestricted base : Nat .
341 (lambda unrestricted available : Nat .
342 (planNativeCheckpoint
343 (nativeRegionContract
344 context
345 (nativeTreeGroupSchema logical fanout count node own)
346 (naturalAdd
347 nativeRegionCaptureBytes
348 (naturalMultiply
349 (nativeTreeRecordCount fanout node own)
350 nativeRegionRecordBytes)))
351 base
352 0
353 nativeCheckpointWordBytes
354 available)))))))))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.