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 1024–1026

nativeTreeRestoreShards

Full file
The shards of `records`, in record order, from record 0.
1024def nativeTreeRestoreShards =
1025  (lambda unrestricted records : (family NativeCheckpointLayout) .
1026    (nativeTreeRestoreShardsFrom records 0))

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.