46def nativePeerIOWithBudget =
47 (lambda unrestricted timeout : (family NativePhysicalOperand) .
48 (lambda unrestricted attempts : (family NativePhysicalOperand) .
49 (lambda unrestricted descriptor : (family NativePhysicalOperand) .
50 (lambda unrestricted send : Nat .
51 (lambda unrestricted layout : (family RegionFrameLayout) .
52 (lambda unrestricted tail : (family NativePhysicalCommands) .
53 (nat-eliminate
54 (lambda unrestricted n : Nat . (family NativePhysicalCommands))
55 (nativeFrameReceive layout descriptor timeout attempts 0 tail)
56 (lambda unrestricted n : Nat .
57 (lambda unrestricted ignored : (family NativePhysicalCommands) .
58 (nativeFrameSend layout descriptor timeout attempts 0 tail)))
59 send)))))))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.