655def sm86EncodeFieldListFrom =
656 (lambda unrestricted fields : (family SM86EncodedFieldList) .
657 (eliminate
658 SM86EncodedFieldList
659 (lambda unrestricted current : (family SM86EncodedFieldList) .
660 (pi unrestricted encoded : Bytes . (family SM86FieldEncodingResult)))
661 fields
662 (branch
663 SM86EncodedFieldListEmpty
664 .
665 (lambda unrestricted encoded : Bytes .
666 (constructor
667 SM86FieldEncodingResult
668 SM86FieldEncodingSucceeded
669 encoded
670 sm86FieldTelemetryZero)))
671 (branch
672 SM86EncodedFieldListCons
673 field
674 tail
675 ih_tail
676 .
677 (lambda unrestricted encoded : Bytes .
678 (eliminate
679 SM86FieldEncodingResult
680 (lambda unrestricted current : (family SM86FieldEncodingResult) .
681 (family SM86FieldEncodingResult))
682 (sm86PlaceEncodedField field encoded)
683 (branch
684 SM86FieldEncodingSucceeded
685 placed
686 fieldTelemetry
687 .
688 (eliminate
689 SM86FieldEncodingResult
690 (lambda unrestricted current : (family SM86FieldEncodingResult) .
691 (family SM86FieldEncodingResult))
692 (ih_tail placed)
693 (branch
694 SM86FieldEncodingSucceeded
695 complete
696 tailTelemetry
697 .
698 (constructor
699 SM86FieldEncodingResult
700 SM86FieldEncodingSucceeded
701 complete
702 (sm86MergeFieldTelemetry fieldTelemetry tailTelemetry)))
703 (branch
704 SM86FieldEncodingFailed
705 error
706 position
707 width
708 detail
709 tailTelemetry
710 .
711 (constructor
712 SM86FieldEncodingResult
713 SM86FieldEncodingFailed
714 error
715 position
716 width
717 detail
718 (sm86MergeFieldTelemetry fieldTelemetry tailTelemetry)))))
719 (branch
720 SM86FieldEncodingFailed
721 error
722 position
723 width
724 detail
725 telemetry
726 .
727 (constructor
728 SM86FieldEncodingResult
729 SM86FieldEncodingFailed
730 error
731 position
732 width
733 detail
734 telemetry)))))))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.