402def aosEventCode =
403 (lambda unrestricted record : (family JSON) .
404 (let unrestricted identity =
405 (aosMemberValue b"event_id" record)
406 in
407 (let unrestricted origin =
408 (aosMemberValue b"origin" record)
409 in
410 (aosThen
411 (aosNonEmptyTextCode b"aos_version" record)
412 (aosThen
413 (aosObjectCode b"event_id" record)
414 (aosThen
415 (aosIdentityCode b"attempt_id" identity)
416 (aosThen
417 (aosIdentityCode b"producer_id" identity)
418 (aosThen
419 (aosIdentityCode b"producer_epoch" identity)
420 (aosThen
421 (aosU64Code b"sequence" identity)
422 (aosThen
423 (aosNonEmptyTextCode b"schema_id" record)
424 (aosThen
425 (aosTextCode b"record_class" record)
426 (aosThen
427 (aosEnumCode (aosIsRecordClass (aosMemberBytes b"record_class" record)))
428 (aosThen
429 (aosIdentityCode b"policy_id" record)
430 (aosThen
431 (aosObjectCode b"origin" record)
432 (aosThen
433 (aosTextCode b"kind" origin)
434 (aosThen
435 (aosEnumCode (aosIsOriginKind (aosMemberBytes b"kind" origin)))
436 (aosThen
437 (naturalSelect (aosHas b"time" record) 0 7)
438 (aosThen
439 (aosSlotCode (aosMemberValue b"time" record) aosTimeCode)
440 (aosThen
441 (naturalSelect (aosHas b"context" record) 0 7)
442 (aosThen
443 (aosSlotCode
444 (aosMemberValue b"context" record)
445 aosContextCode)
446 (aosThen
447 (aosObjectCode b"payload" record)
448 (aosThen
449 (aosPayloadCode (aosMemberValue b"payload" record))
450 (aosThen
451 (naturalSelect
452 (aosHas b"extensions" record)
453 (naturalSelect
454 (aosIsArray (aosMemberValue b"extensions" record))
455 0
456 13)
457 7)
458 (aosStringArrayCode b"required_extensions" record))))))))))))))))))))))))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.