Source/Packages

Runtime.NativeProtocol

packages/execution/src/Runtime/NativeProtocol.alpha

446 lines17 declarations22.3 KiBSHA-256 5f3a02d1b9cf

def · lines 85–102

nativeProtocolNoFrameDecisions

Full file
85def nativeProtocolNoFrameDecisions =
86  (constructor
87    NativeProtocolDecisionBinding
88    NativeProtocolDecisionBindingOf
89    (family ProtocolNoDecision)
90    (family RegionFrameLayout)
91    (lambda unrestricted selector : (family ProtocolNoDecision) .
92      (eliminate
93        ProtocolNoDecision
94        (lambda unrestricted current : (family ProtocolNoDecision) . (family NativePhysicalOperand))
95        selector))
96    (lambda unrestricted selector : (family ProtocolNoDecision) .
97      (eliminate
98        ProtocolNoDecision
99        (lambda unrestricted current : (family ProtocolNoDecision) . Nat)
100        selector))
101    0
102    (lambda unrestricted frame : (family RegionFrameLayout) . frame))

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.