115def telemetryRecordAppend =
116 (lambda unrestricted left : (family TelemetryRecordParts) .
117 (lambda unrestricted right : (family TelemetryRecordParts) .
118 (eliminate
119 TelemetryRecordParts
120 (lambda unrestricted current : (family TelemetryRecordParts) .
121 (family TelemetryRecordParts))
122 left
123 (branch TelemetryRecordEnd . right)
124 (branch
125 TelemetryRecordLiteral
126 bytes
127 tail
128 induction
129 .
130 (constructor TelemetryRecordParts TelemetryRecordLiteral bytes induction))
131 (branch
132 TelemetryRecordDecimal
133 signed
134 offset
135 tail
136 induction
137 .
138 (constructor TelemetryRecordParts TelemetryRecordDecimal signed offset induction))
139 (branch
140 TelemetryRecordHex
141 source
142 offset
143 width
144 reverse
145 nonzero
146 tail
147 induction
148 .
149 (constructor
150 TelemetryRecordParts
151 TelemetryRecordHex
152 source
153 offset
154 width
155 reverse
156 nonzero
157 induction)))))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.