The predicate and its scratch word are separate from frame storage. Only
the authority evaluates the selector. Followers install the validated wire
word, and forwarding participants publish that exact installed value.
18family NativeProtocolDecisionBinding : Type 0
19parameter erased nativeDecisionSelector : Type 0
20parameter erased nativeDecisionPayload : Type 0
21constructor NativeProtocolDecisionBindingOf
22field unrestricted nativeDecisionSource : (pi unrestricted selector : nativeDecisionSelector . (family NativePhysicalOperand))
23field unrestricted nativeDecisionState : (pi unrestricted selector : nativeDecisionSelector . Nat)
24field unrestricted nativeDecisionScratchSlot : Nat
25field unrestricted nativeDecisionFrame : (pi unrestricted value : nativeDecisionPayload . (family RegionFrameLayout))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.