AlphaGitHub
Source/Packages

Runtime.OrderedCombine

packages/execution/src/Runtime/OrderedCombine.alpha

329 lines62 declarations11.3 KiBSHA-256 c7d6a83584b8
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 206–208

combineTreeDigest

Full file
206def combineTreeDigest =
207  (lambda unrestricted tree : (family OrderedCombineTree) .
208    (sha256RawDigestOrEmpty (bytes-append b"alpha-ordered-combine-v1" (combineTreeBytes tree))))

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.