249def protocolRepeat =
250 (lambda erased operation : Type 0 .
251 (lambda erased payload : Type 0 .
252 (lambda erased decision : Type 0 .
253 (lambda unrestricted count : Nat .
254 (lambda unrestricted body : (family GlobalProtocol operation payload decision) .
255 (lambda unrestricted rest : (family GlobalProtocol operation payload decision) .
256 (constructor
257 GlobalProtocol
258 GlobalProtocolRepeat
259 operation
260 payload
261 decision
262 count
263 body
264 rest)))))))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.