215def protocolLocal =
216 (lambda erased operation : Type 0 .
217 (lambda erased payload : Type 0 .
218 (lambda erased decision : Type 0 .
219 (lambda unrestricted owner : Nat .
220 (lambda unrestricted value : operation .
221 (lambda unrestricted rest : (family GlobalProtocol operation payload decision) .
222 (constructor
223 GlobalProtocol
224 GlobalProtocolLocal
225 operation
226 payload
227 decision
228 owner
229 value
230 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.