AlphaGitHub
Source/Packages

Checkpoint.NativeTreePublication

packages/execution/persistence/src/Checkpoint/NativeTreePublication.alpha

1,138 lines56 declarations55.0 KiBSHA-256 a6e4225ebb3a
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 325–331

nativeTreeRecordCount

Full file
325def nativeTreeRecordCount =
326  (lambda unrestricted fanout : Nat .
327    (lambda unrestricted node : (family ParticipantTreeNode) .
328      (lambda unrestricted own : (family StdList (family CheckpointRegionPartition)) .
329        (naturalAdd
330          (nativeRegionShardCount own)
331          (participantTreeChildCount fanout (participantTreeSizeOf node))))))

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.