AlphaGitHub
Source/Packages

Runtime.TelemetrySeal

packages/execution/src/Runtime/TelemetrySeal.alpha

226 lines54 declarations18.6 KiBSHA-256 77e88a6093e8
Download exact fileView at revisionf5034773ad4bb52133

def · lines 102–105

sealInitialHash

Full file
102def sealInitialHash : (family StdList Nat) =
103  (constructor StdList StdListCons Nat 0x6a09e667 (constructor StdList StdListCons Nat 0xbb67ae85 (constructor StdList StdListCons Nat 0x3c6ef372 (constructor StdList StdListCons Nat 0xa54ff53a
104  (constructor StdList StdListCons Nat 0x510e527f (constructor StdList StdListCons Nat 0x9b05688c (constructor StdList StdListCons Nat 0x1f83d9ab (constructor StdList StdListCons Nat 0x5be0cd19
105  (constructor StdList StdListEmpty Nat)))))))))

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.