106def protocolNoDecision =
107 (lambda erased payload : Type 0 .
108 (lambda unrestricted owner : Nat .
109 (lambda unrestricted selector : (family ProtocolNoDecision) .
110 (lambda unrestricted announcements : (family ProtocolAnnouncements payload) .
111 (eliminate
112 ProtocolNoDecision
113 (lambda unrestricted current : (family ProtocolNoDecision) . Nat)
114 selector)))))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.