4788def decodeRecordAssignmentTerms =
4789 (lambda unrestricted name : Bytes .
4790 (lambda unrestricted origin : (family SyntaxOrigin) .
4791 (lambda unrestricted terms : (family TermList) .
4792 (eliminate
4793 TermList
4794 (lambda unrestricted current : (family TermList) . (family TermDecodeResult))
4795 terms
4796 (branch TermListEnd . familyTermDecodeFailed)
4797 (branch
4798 TermListNext
4799 nameTerm
4800 afterName
4801 ih_afterName
4802 .
4803 (eliminate
4804 TermList
4805 (lambda unrestricted current : (family TermList) . (family TermDecodeResult))
4806 afterName
4807 (branch TermListEnd . familyTermDecodeFailed)
4808 (branch
4809 TermListNext
4810 equalsTerm
4811 afterEquals
4812 ih_afterEquals
4813 .
4814 (eliminate
4815 TermList
4816 (lambda unrestricted current : (family TermList) . (family TermDecodeResult))
4817 afterEquals
4818 (branch TermListEnd . familyTermDecodeFailed)
4819 (branch
4820 TermListNext
4821 value
4822 afterValue
4823 ih_afterValue
4824 .
4825 (eliminate
4826 TermList
4827 (lambda unrestricted current : (family TermList) . (family TermDecodeResult))
4828 afterValue
4829 (branch
4830 TermListEnd
4831 .
4832 (constructor
4833 TermDecodeResult
4834 TermDecoded
4835 (constructor Term RecordAssignment name origin value)))
4836 (branch TermListNext extra rest ih_rest . familyTermDecodeFailed)))))))))))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.