The schema uses the same revision/class as its event declaration. Field
meanings and expected types remain explicit source declarations; this does
not infer learning semantics from positions in a native capture record.
182def telemetryRecordSchemaJSON =
183 (lambda unrestricted declaration : (family TelemetryRecordDeclaration) .
184 (lambda unrestricted owner : Bytes .
185 (lambda unrestricted fields : (family JSON) .
186 (eliminate
187 TelemetryRecordDeclaration
188 (lambda unrestricted current : (family TelemetryRecordDeclaration) . (family JSON))
189 declaration
190 (branch
191 TelemetryRecordDeclarationValue
192 schema
193 recordClass
194 policy
195 origin
196 method
197 payload
198 .
199 (aosDescriptorRecord
200 b"schema"
201 (bytes-append b"schema:" schema)
202 (constructor
203 JSON
204 JSONObject
205 (constructor
206 JSON
207 JSONObjectMember
208 b"schema_id"
209 (constructor JSON JSONString schema)
210 (constructor
211 JSON
212 JSONObjectMember
213 b"record_class"
214 (constructor JSON JSONString recordClass)
215 (constructor
216 JSON
217 JSONObjectMember
218 b"owner"
219 (constructor JSON JSONString owner)
220 (constructor
221 JSON
222 JSONObjectMember
223 b"fields"
224 fields
225 (constructor JSON JSONObjectEnd))))))))))))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.