AlphaGitHub
Source/Packages

Compiler.Planning.RegionFrame

packages/compiler/planning/src/Compiler/Planning/RegionFrame.alpha

334 lines38 declarations12.9 KiBSHA-256 561e16df25ad
Download exact fileView at revisionbcc11a4e7647d31628

family · lines 16–21

RegionFrameLayout

Full file
One content region is reused for SHA padding AFTER the trailer has been received separately. Padding can never overwrite the transmitted digest.
16family RegionFrameLayout : Type 0
17constructor RegionFrameLayoutOf
18field unrestricted frameLayoutHeader : Bytes
19field unrestricted frameLayoutPayloadBytes : Nat
20field unrestricted frameLayoutBase : Nat
21field unrestricted frameLayoutPadding : Bytes

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.