AlphaGitHub
Source/Packages

Checkpoint.NativeRegions

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

901 lines47 declarations40.2 KiBSHA-256 9e8fb104ae0c
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 162–169

nativeRegionDescriptor

Full file
162def nativeRegionDescriptor =
163  (lambda unrestricted ordinal : Nat .
164    (lambda unrestricted interval : (family LogicalInterval) .
165      (bytes-append
166        (checkpointEnvelopeWord ordinal)
167        (bytes-append
168          (checkpointEnvelopeWord (intervalBegin interval))
169          (checkpointEnvelopeWord (intervalEnd 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.