112def transferPhaseCode =
113 (lambda unrestricted phase : (family TransferPhase) .
114 (eliminate
115 TransferPhase
116 (lambda unrestricted current : (family TransferPhase) . Nat)
117 phase
118 (branch TransferDeclared . 0)
119 (branch TransferSourceReading . 1)
120 (branch TransferSourceReleased . 2)
121 (branch TransferPayloadReceived . 3)
122 (branch TransferDestinationVisible . 4)
123 (branch TransferConsumed . 5)
124 (branch TransferAborted . 6)))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.